Мы рады объявить о релизе Ruby 3.0.0-preview2. Мы внесли множество новых фич и улучшений производительности. ## Статический анализ ### RBS RBS -- это язык описания типов в программах на Ruby. Тайп-чекеры, включая TypeProf и другие инструменты, поддерживающие RBS, будут понимать программы на Ruby намного лучше с определениями RBS. Вы можете написать определения классам и модулям: методам, определенным в классе, переменным экземпляра и их типам, а также отношениям наследования/примесей. RBS преследует цель поддержать наиболее часто встречающиеся паттерны программирования на Ruby и позволяет описывать сложные типы, такие как объединения, перегрузка методов и дженерики. Также поддерживается утиная типизация с _интерфейсами_. Ruby 3.0 поставляется с гемом `rbs`, который позволяет парсить и обрабатывать определения типов, написанные на языке RBS. Ниже небольшой пример RBS с определениями класса, модуля и константы. ``` rbs module ChatApp VERSION: String class Channel attr_reader name: String attr_reader messages: Array[Message] attr_reader users: Array[User | Bot] # `|` means union types, `User` or `Bot`. def initialize: (String) -> void def post: (String, from: User | Bot) -> Message # Method overloading is supported. | (File, from: User | Bot) -> Message end end ``` См. [README гема](https://github.com/ruby/rbs). ### TypeProf TypeProf -- это инструмент статического анализа, поставляемый вместе с пакетом Ruby. На данный момент TypeProf как бы выполняет вывод типов. Он читает обычный (без аннотаций типов) код на Ruby, анализирует, как методы объявлены и используются, и генерирует прототип аннотаций типов в формате RBS. Вот небольшая демонстрация TypeProf. Пример ввода: ``` ruby # test.rb class User def initialize(name:, age:) @name, @age = name, age end attr_reader :name, :age end User.new(name: "John", age: 20) ``` Пример вывода: ``` $ typeprof test.rb # Classes class User attr_reader name : String attr_reader age : Integer def initialize : (name: String, age: Integer) -> [String, Integer] end ``` Вы можете воспользоваться TypeProf сохранив ввод в файл `test.rb`, а затем выполнив команду `typeprof test.rb`. Также вы можете [попробовать TypeProf онлайн](https://mame.github.io/typeprof-playground/#rb=%23+test.rb%0Aclass+User%0A++def+initialize%28name%3A%2C+age%3A%29%0A++++%40name%2C+%40age+%3D+name%2C+age%0A++end%0A++%0A++attr_reader+%3Aname%2C+%3Aage%0Aend%0A%0AUser.new%28name%3A+%22John%22%2C+age%3A+20%29&rbs=). (Там TypeProf запускается на сервере -- приносим свои извинения, если он лежит!) См. [документацию](https://github.com/ruby/typeprof/blob/master/doc/doc.md) и [демо](https://github.com/ruby/typeprof/blob/master/doc/demo.md). TypeProf -- еще пока только экспериментальная разработка; поддерживается лишь подмножество языка Ruby, и определение типов ограничено. Однако она быстро растет и улучшает покрытие фич языка, скорость анализа и удобство использования. Любая обратная связь крайне приветствуется. ## Рактор (экспериментально) Рактор -- это абстракция параллельных вычислений, подобная модели акторов, предназначенная обеспечить параллельное выполнение без лишних хлопот о потоковой безопасности. Вы можете создать несколько ракторов и запустить их параллельно. Рактор обеспечивает потоковую безопасность параллельных вычислений тем, что не может иметь общих объектов с другими ракторами в обычном понимании. Коммуникация между ракторами обеспечивается передачей сообщений. Рактор синтаксически ограничивает возможность совместного использования объектов (в случае одного Рактора разницы не будет). Спецификация и реализация еще не окончательны и могут быть изменены в будущем, поэтому эта фича отмечена как экспериментальная и выдает предупреждение "experimental feature" при первом вызове `Ractor.new`. Ниже небольшая программа, вычисляющая `n.prime?` (`n` -- относительно большое целое число) параллельно двумя ракторами. На компьютере, поддерживающем параллельные вычисления, вы убедитесь, что программа выполняется примерно в 2 раза быстрее, чем последовательная. ``` ruby require 'prime' # n.prime? with sent integers in r1, r2 run in parallel r1, r2 = *(1..2).map do Ractor.new do n = Ractor.recv n.prime? end end # send parameters r1.send 2**61 - 1 r2.send 2**61 + 15 # wait for the results of expr1, expr2 p r1.take #=> true p r2.take #=> true ``` См. [doc/ractor.md](https://github.com/ruby/ruby/blob/master/doc/ractor.md). ## Планировщик нитей `Fiber#scheduler` предназначен для перехвата блокирующих операций. Это обеспечивает легковесный параллелизм без необходимости менять существующий код. Обзор того, как это работает, смотрите в видео ["Don't Wait For Me, Scalable Concurrency for Ruby 3"](https://www.youtube.com/watch?v=Y29SSOS4UOc). Классы/методы, поддерживаемые на данный момент: - `Mutex#lock`, `Mutex#unlock`, `Mutex#sleep` - `ConditionVariable#wait` - `Queue#pop`, `SizedQueue#push` - `Thread#join` - `Kernel#sleep` - `Process.wait` - `IO#wait`, `IO#read`, `IO#write` и смежные (`#wait_readable`, `#gets`, `#puts` и пр.). - `IO#select` *не поддерживается*. Следующий пример выполнит несколько запросов HTTP параллельно: (async -- это гем, который использует данную фичу) ``` ruby require 'async' require 'net/http' require 'uri' Async do ["ruby", "python", "c"].each do |topic| Async do Net::HTTP.get(URI "https://www.google.com/search?q=#{topic}") end end end ``` ## Другие значимые фичи * Однострочный поиск по образцу теперь использует `=>` вместо `in`. ``` ruby # version 3.0 {a: 0, b: 1} => {a:} p a # => 0 # version 2.7 {a: 0, b: 1} in {a:} p a # => 0 ``` * Поиск по образцу. ``` ruby case ["a", 1, "b", "c", 2, "d", "e", "f", 3] in [*pre, String => x, String => y, *post] p pre #=> ["a", 1] p x #=> "b" p y #=> "c" p post #=> [2, "d", "e", "f", 3] end ``` * Объявление метода без end. ``` ruby def square(x) = x * x ``` * `Hash#except` теперь в stdlib. ``` ruby h = { a: 1, b: 2, c: 3 } p h.except(:a) #=> {:b=>2, :c=>3} ``` * Просмотр памяти добавлен как экспериментальная фича * Это новое C-API для прямого обмена участками памяти, такими как числовой массив или битмап, между библиотеками нативных расширений. Библиотеки расширений также могут делиться метаданными об участках памяти, таких как форма, формат и пр. С помощью этих метаданных библиотеки расширений могут делиться даже многомерными массивами. Дизайн этой фичи был вдохновлен буферным протоколом Python. ## Улучшения производительности * Много улучшений реализовано в MJIT. См. NEWS. * Вставка длинного кода в IRB ускорена в 53 раза по сравнению с Ruby 2.7.0. Например, [вот этот пример кода](https://gist.github.com/aycabta/30ab96334275bced5796f118c9220b0b) вставляется теперь не за 11.7 секунды, а за 0.22. ## Другие значимые отличия от 2.7 * Именованные параметры отделены от остальных. * Код, который выдавал предупреждения в Ruby 2.7, работать больше не будет. См. [новость](https://www.ruby-lang.org/ru/news/2019/12/12/separation-of-positional-and-keyword-arguments-in-ruby-3-0/). * Кстати, теперь можно брать только ведущие аргументы. ``` ruby def method_missing(meth, ...) send(:"do_#{ meth }", ...) end ``` * Фича `$SAFE` полностью выпилена; теперь это обычная глобальная переменная. * В Ruby 2.5 бектрейс был развернут, но это изменение откатили. Теперь он ведет себя как в Ruby 2.4; сначала идет сообщение об ошибке и номер строки, где возникло исключение, а затем следует стек вызовов. * Обновлены некоторые стандартные библиотеки. * RubyGems 3.2.0.rc.1 * Bundler 2.2.0.rc.1 * IRB 1.2.6 * Reline 0.1.5 * Следующие библиотеки более не поставляются с языком. Устанавливайте их соответствующими гемами. * net-telnet * xmlrpc * Следующие, поставляемые с языком, гемы больше не встроены в него. * rexml * rss * Следующие файлы стандартной библиотеки переведены в разряд встроенных гемов и опубликованы на rubygems.org. * abbrev * base64 * English * erb * find * io-nonblock * io-wait * net-ftp * net-http * net-imap * net-protocol * nkf * open-uri * optparse * resolv * resolv-replace * rinda * securerandom * set * shellwords * tempfile * time * tmpdir * tsort * weakref См. [NEWS](https://github.com/ruby/ruby/blob/v3_0_0_preview2/NEWS.md) или [коммиты](https://github.com/ruby/ruby/compare/v2_7_0...v3_0_0_preview2). В ходе этого со времен версии 2.7.0 было изменено [3776 файлов, было сделано 181573 вставок(+), 145096 удалений(-)](https://github.com/ruby/ruby/compare/v2_7_0...v3_0_0)! Пожалуйста, попробуйте Ruby 3.0.0-preview2 и дайте обратную связь! ## Скачать * SIZE: 19378626 SHA1: 25363b20225850224e7835e99906c52f2ff57792 SHA256: 9de8661565c2b1007d91a580e9a7e02d23f1e8fc8df371feb15a2727aa05fd9a SHA512: 6fa4191425ae71e41894b60bd9c31d483a562ee8216886360ce18238ab48115b95be0367708612c45f634e7584fba8940a524ba0113ce0f36ce4df78a112d0b7 * SIZE: 14244252 SHA1: 54e4d3892ce480106382bd2d36dd7395e01b0f2a SHA256: 03078e82d4fb55c13837c69e56565fc49c451d11b1ca5e1b075d990d0957f181 SHA512: 8b0e6e3ba7e5f95586b4438d965e7b09187ad599f4ac22dec3db7b176358514fe0c0890dde8912fef1ef92ffcde3f6f1228178eabadcf3a05601e5b6f05881ae * SIZE: 23907144 SHA1: 064ee265c94b3df87e737622ba84437ea0d6aeaf SHA256: 19e295ae50934ddac2b366f0c7c8de9bd710d596b76eba02152f3641e5ce2b23 SHA512: 598def50ef9e8ae1f44e05ff2c4e35acf252437286f08644ba5e301ebff2db399140bafa72868877100d6ffa736a4474cb7b99ecea8bdf835ed113ab250bb3d9 ## Что такое Ruby Matz (Yukihiro Matsumoto) разработал первую версию Ruby в 1993, и на сегодня язык разрабатывается как Open Source. Он работает на множестве платформ и используется по всему миру, особенно в веб разработке.