Вышел Ruby 3.0.0 Preview 2

Опубликовал naruse 08-12-2020
Перевел: nakilon

Мы рады объявить о релизе Ruby 3.0.0-preview2.

Мы внесли множество новых фич и улучшений производительности.

Статический анализ

RBS

RBS – это язык описания типов в программах на Ruby.

Тайп-чекеры, включая TypeProf и другие инструменты, поддерживающие RBS, будут понимать программы на Ruby намного лучше с определениями RBS.

Вы можете написать определения классам и модулям: методам, определенным в классе, переменным экземпляра и их типам, а также отношениям наследования/примесей.

RBS преследует цель поддержать наиболее часто встречающиеся паттерны программирования на Ruby и позволяет описывать сложные типы, такие как объединения, перегрузка методов и дженерики. Также поддерживается утиная типизация с интерфейсами.

Ruby 3.0 поставляется с гемом 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 гема.

TypeProf

TypeProf – это инструмент статического анализа, поставляемый вместе с пакетом Ruby.

На данный момент TypeProf как бы выполняет вывод типов.

Он читает обычный (без аннотаций типов) код на Ruby, анализирует, как методы объявлены и используются, и генерирует прототип аннотаций типов в формате RBS.

Вот небольшая демонстрация TypeProf.

Пример ввода:

# 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 онлайн. (Там TypeProf запускается на сервере – приносим свои извинения, если он лежит!)

См. документацию и демо.

TypeProf – еще пока только экспериментальная разработка; поддерживается лишь подмножество языка Ruby, и определение типов ограничено. Однако она быстро растет и улучшает покрытие фич языка, скорость анализа и удобство использования. Любая обратная связь крайне приветствуется.

Рактор (экспериментально)

Рактор – это абстракция параллельных вычислений, подобная модели акторов, предназначенная обеспечить параллельное выполнение без лишних хлопот о потоковой безопасности.

Вы можете создать несколько ракторов и запустить их параллельно. Рактор обеспечивает потоковую безопасность параллельных вычислений тем, что не может иметь общих объектов с другими ракторами в обычном понимании. Коммуникация между ракторами обеспечивается передачей сообщений.

Рактор синтаксически ограничивает возможность совместного использования объектов (в случае одного Рактора разницы не будет).

Спецификация и реализация еще не окончательны и могут быть изменены в будущем, поэтому эта фича отмечена как экспериментальная и выдает предупреждение “experimental feature” при первом вызове Ractor.new.

Ниже небольшая программа, вычисляющая n.prime? (n – относительно большое целое число) параллельно двумя ракторами. На компьютере, поддерживающем параллельные вычисления, вы убедитесь, что программа выполняется примерно в 2 раза быстрее, чем последовательная.

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.

Планировщик нитей

Fiber#scheduler предназначен для перехвата блокирующих операций. Это обеспечивает легковесный параллелизм без необходимости менять существующий код. Обзор того, как это работает, смотрите в видео “Don’t Wait For Me, Scalable Concurrency for Ruby 3”.

Классы/методы, поддерживаемые на данный момент:

  • 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 – это гем, который использует данную фичу)

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. 
      # version 3.0
  {a: 0, b: 1} => {a:}
  p a # => 0
  # version 2.7
  {a: 0, b: 1} in {a:}
  p a # => 0
  • Поиск по образцу. 
      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. 
      def square(x) = x * x
  • Hash#except теперь в stdlib. 
      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. Например, вот этот пример кода вставляется теперь не за 11.7 секунды, а за 0.22.

Другие значимые отличия от 2.7

  • Именованные параметры отделены от остальных.
    • Код, который выдавал предупреждения в Ruby 2.7, работать больше не будет. См. новость.
    • Кстати, теперь можно брать только ведущие аргументы. 
      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 или коммиты.

В ходе этого со времен версии 2.7.0 было изменено 3776 файлов, было сделано 181573 вставок(+), 145096 удалений(-)!

Пожалуйста, попробуйте Ruby 3.0.0-preview2 и дайте обратную связь!

Скачать

  • https://cache.ruby-lang.org/pub/ruby/3.0/ruby-3.0.0-preview2.tar.gz

    SIZE: 19378626
SHA1: 25363b20225850224e7835e99906c52f2ff57792
SHA256: 9de8661565c2b1007d91a580e9a7e02d23f1e8fc8df371feb15a2727aa05fd9a
SHA512: 6fa4191425ae71e41894b60bd9c31d483a562ee8216886360ce18238ab48115b95be0367708612c45f634e7584fba8940a524ba0113ce0f36ce4df78a112d0b7

  • https://cache.ruby-lang.org/pub/ruby/3.0/ruby-3.0.0-preview2.tar.xz

    SIZE: 14244252
SHA1: 54e4d3892ce480106382bd2d36dd7395e01b0f2a
SHA256: 03078e82d4fb55c13837c69e56565fc49c451d11b1ca5e1b075d990d0957f181
SHA512: 8b0e6e3ba7e5f95586b4438d965e7b09187ad599f4ac22dec3db7b176358514fe0c0890dde8912fef1ef92ffcde3f6f1228178eabadcf3a05601e5b6f05881ae

  • https://cache.ruby-lang.org/pub/ruby/3.0/ruby-3.0.0-preview2.zip

    SIZE: 23907144
SHA1: 064ee265c94b3df87e737622ba84437ea0d6aeaf
SHA256: 19e295ae50934ddac2b366f0c7c8de9bd710d596b76eba02152f3641e5ce2b23
SHA512: 598def50ef9e8ae1f44e05ff2c4e35acf252437286f08644ba5e301ebff2db399140bafa72868877100d6ffa736a4474cb7b99ecea8bdf835ed113ab250bb3d9

Что такое Ruby

Matz (Yukihiro Matsumoto) разработал первую версию Ruby в 1993, и на сегодня язык разрабатывается как Open Source. Он работает на множестве платформ и используется по всему миру, особенно в веб разработке.