Phát hành Ruby 3.0.0 RC1

Đăng bởi naruse vào 20 Dec 2020

Chúng tôi vui mừng thông báo phát hành Ruby 3.0.0-rc1.

Phiên bản này giới thiệu nhiều tính năng mới và cải thiện hiệu năng.

Phân tích tĩnh

RBS

RBS là một ngôn ngữ để mô tả kiểu dữ liệu của chương trình Ruby.

Các công cụ kiểm tra kiểu bao gồm TypeProf và các công cụ khác hỗ trợ RBS sẽ hiểu chương trình Ruby tốt hơn nhiều với các định nghĩa RBS.

Bạn có thể viết định nghĩa cho các lớp và module: các phương thức được định nghĩa trong lớp, biến instance và kiểu dữ liệu của chúng, cũng như các quan hệ kế thừa/mix-in.

Mục tiêu của RBS là hỗ trợ các mẫu thường thấy trong chương trình Ruby và cho phép viết các kiểu nâng cao bao gồm kiểu union, nạp chồng phương thức và generic. RBS cũng hỗ trợ duck typing với kiểu interface.

Ruby 3.0 đi kèm với gem rbs, cho phép phân tích và xử lý các định nghĩa kiểu được viết bằng RBS. Dưới đây là một ví dụ nhỏ về RBS với các định nghĩa lớp, module và hằng số.

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

Xem README của gem rbs để biết thêm chi tiết.

TypeProf

TypeProf là một công cụ phân tích kiểu được đi kèm trong gói Ruby.

Hiện tại, TypeProf hoạt động như một loại suy luận kiểu.

Nó đọc mã Ruby thuần (không có chú thích kiểu), phân tích các phương thức được định nghĩa và cách chúng được sử dụng, và tạo ra một bản mẫu chữ ký kiểu ở định dạng RBS.

Đây là một demo đơn giản về TypeProf.

Đầu vào mẫu:

# test.rb
class User
  def initialize(name:, age:)
    @name, @age = name, age
  end
  attr_reader :name, :age
end
User.new(name: "John", age: 20)

Đầu ra mẫu:

$ typeprof test.rb
# Classes
class User
  attr_reader name : String
  attr_reader age : Integer
  def initialize : (name: String, age: Integer) -> [String, Integer]
end

Bạn có thể chạy TypeProf bằng cách lưu đầu vào thành “test.rb” và gọi lệnh “typeprof test.rb”.

Bạn cũng có thể thử TypeProf trực tuyến. (Nó chạy TypeProf ở phía máy chủ, xin lỗi nếu không hoạt động!)

Xem tài liệu và demo để biết chi tiết.

TypeProf đang trong giai đoạn thử nghiệm và chưa hoàn thiện; chỉ một tập con của ngôn ngữ Ruby được hỗ trợ, và khả năng phát hiện lỗi kiểu còn hạn chế. Nhưng nó đang phát triển nhanh chóng để cải thiện phạm vi hỗ trợ các tính năng ngôn ngữ, hiệu suất phân tích và tính dễ sử dụng. Mọi phản hồi đều được hoan nghênh.

Ractor (thử nghiệm)

Ractor là một abstraction đồng thời theo mô hình Actor, được thiết kế để cung cấp tính năng thực thi song song mà không lo ngại về an toàn luồng.

Bạn có thể tạo nhiều ractor và chạy chúng song song. Ractor cho phép bạn tạo các chương trình song song an toàn luồng vì các ractor không thể chia sẻ các đối tượng thông thường. Giao tiếp giữa các ractor được hỗ trợ thông qua truyền tin nhắn.

Để giới hạn việc chia sẻ đối tượng, Ractor đưa ra một số hạn chế đối với cú pháp Ruby (không có nhiều Ractor thì không có hạn chế).

Đặc tả và triển khai chưa hoàn thiện và có thể thay đổi trong tương lai, vì vậy tính năng này được đánh dấu là thử nghiệm và hiển thị cảnh báo “tính năng thử nghiệm” khi Ractor.new đầu tiên được gọi.

Chương trình nhỏ sau tính n.prime? (n là một số nguyên tương đối lớn) song song với hai ractor. Bạn sẽ nhận thấy rằng việc thực thi chương trình nhanh hơn khoảng x2 lần so với chương trình tuần tự trên máy tính hỗ trợ song song.

require 'prime'
# n.prime? with sent integers in r1, r2 run in parallel
r1, r2 = *(1..2).map do
  Ractor.new do
    n = Ractor.receive
    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

Xem doc/ractor.md để biết thêm chi tiết.

Fiber Scheduler

Fiber#scheduler được giới thiệu để chặn các thao tác blocking. Điều này cho phép đồng thời nhẹ mà không cần thay đổi mã hiện tại. Xem “Don’t Wait For Me, Scalable Concurrency for Ruby 3” để có cái nhìn tổng quan về cách hoạt động.

Các lớp/phương thức hiện đang được hỗ trợ:

• Mutex#lock, Mutex#unlock, Mutex#sleep
• ConditionVariable#wait
• Queue#pop, SizedQueue#push
• Thread#join
• Kernel#sleep
• Process.wait
• IO#wait, IO#read, IO#write và các phương thức liên quan (ví dụ: #wait_readable, #gets, #puts v.v.).
• IO#select không được hỗ trợ.

(Giải thích gem Async với liên kết). Chương trình ví dụ này sẽ thực hiện nhiều request HTTP đồng thời:

(Giải thích điều này:)

1. async là gem bên ngoài
2. async sử dụng tính năng mới này

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

Các tính năng mới đáng chú ý khác

• Khớp mẫu một dòng được thiết kế lại. (thử nghiệm)

  • => đã được thêm vào. Nó có thể được sử dụng như phép gán hướng phải.

    0 => a
    p a #=> 0
    
    {b: 0, c: 1} => {b:}
    p b #=> 0
    

  • in được thay đổi để trả về true hoặc false.

    # version 3.0
    0 in 1 #=> false
    
    # version 2.7
    0 in 1 #=> raise NoMatchingPatternError
    

• Mẫu tìm kiếm (find pattern) đã được thêm vào. (thử nghiệm)

  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
  

• Định nghĩa phương thức không kết thúc đã được thêm vào.

  def square(x) = x * x
  

• Hash#except giờ đã có sẵn.

  h = { a: 1, b: 2, c: 3 }
  p h.except(:a) #=> {:b=>2, :c=>3}
  

• Memory view đã được thêm như một tính năng thử nghiệm

  • Đây là một bộ C-API mới để trao đổi vùng bộ nhớ thô, chẳng hạn như mảng số và ảnh bitmap, giữa các thư viện mở rộng. Các thư viện mở rộng cũng có thể chia sẻ metadata của vùng bộ nhớ bao gồm hình dạng, định dạng phần tử, v.v. Sử dụng những loại metadata này, các thư viện mở rộng có thể chia sẻ ngay cả mảng đa chiều một cách phù hợp. Tính năng này được thiết kế tham khảo từ buffer protocol của Python.

Cải thiện hiệu năng

• Nhiều cải tiến đã được thực hiện trong MJIT. Xem NEWS để biết chi tiết.
• Dán mã dài vào IRB nhanh hơn 53 lần so với phiên bản đi kèm Ruby 2.7.0. Ví dụ, thời gian cần thiết để dán mã mẫu này giảm từ 11.7 giây xuống 0.22 giây.

Các thay đổi đáng chú ý khác kể từ 2.7

• Tham số từ khóa được tách riêng khỏi các tham số khác.
  • Về nguyên tắc, mã hiển thị cảnh báo trên Ruby 2.7 sẽ không hoạt động. Xem tài liệu để biết chi tiết.

  • Ngoài ra, chuyển tiếp tham số giờ đã hỗ trợ tham số đứng đầu.

    def method_missing(meth, ...)
      send(:"do_#{ meth }", ...)
    end
    

• Khớp mẫu (case/in) không còn là thử nghiệm.
• Tính năng $SAFE đã bị loại bỏ hoàn toàn; giờ nó là một biến toàn cục bình thường.
• Thứ tự backtrace đã bị đảo ngược ở Ruby 2.5, và đã được hoàn tác. Giờ nó hoạt động như Ruby 2.4; thông báo lỗi và số dòng nơi ngoại lệ xảy ra được in trước, và các hàm gọi được in sau.
• Một số thư viện chuẩn đã được cập nhật.
  • RubyGems 3.2.2
  • Bundler 2.2.2
  • IRB 1.2.6
  • Reline 0.1.5
  • Psych 3.2.1
  • JSON 2.4.1
  • BigDecimal 3.0.0
  • CSV 3.1.9
  • Digest 3.0.0
  • Fiddle 1.0.4
  • StringIO 3.0.0
  • StringScanner 3.0.0
• Các thư viện sau không còn là bundled gem. Cài đặt các gem tương ứng để sử dụng các tính năng này.
  • net-telnet
  • xmlrpc
• Các default gem sau giờ là bundled gem.
  • rexml
  • rss
• Các tệp stdlib sau giờ là default gem và được xuất bản trên rubygems.org.
  • English
  • abbrev
  • base64
  • drb
  • debug
  • erb
  • find
  • net-ftp
  • net-http
  • net-imap
  • net-protocol
  • open-uri
  • optparse
  • pp
  • prettyprint
  • resolv-replace
  • resolv
  • rinda
  • set
  • securerandom
  • shellwords
  • tempfile
  • tmpdir
  • time
  • tsort
  • un
  • weakref
  • digest
  • io-nonblock
  • io-wait
  • nkf
  • pathname
  • syslog
  • win32ole

Xem NEWS hoặc nhật ký commit để biết thêm chi tiết.

Với những thay đổi đó, 3889 tệp đã thay đổi, 195560 thêm vào(+), 152740 xóa bỏ(-) kể từ Ruby 2.7.0!

Hãy thử Ruby 3.0.0-rc1, và gửi phản hồi cho chúng tôi!

Tải về

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

  SIZE: 19488885
  SHA1: 34ede2128a90ef3217d9cab9efcdf20fc444f67c
  SHA256: e1270f38b969ce7b124f0a4c217e33eda643f75c7cb20debc62c17535406e37f
  SHA512: 798926db82d27366b39be97556ac5cb322986b96df913c398449bd3ece533e484a3047fe35e7a6241dfbd0f7da803438f5b04b805b33f95c73e3e41d0bb51183
  

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

  SIZE: 14341128
  SHA1: deff34cf67373dca166e9961051b6c4723aaaec6
  SHA256: f1adda082f9291e394d25ed32975abbef90962dc4c8b11130586a0151558e79a
  SHA512: f4f13dbfa1c96088eb3dbfba0cb1fe99f4e17197ee2d4b78fbe16496780797a10daa3f2ff9c38d2d7b316974101eccf45184708ad05491fb49898b3a7cc6d673
  

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

  SIZE: 23902334
  SHA1: e3e20b4d0ec895e579ae416f2b7552c6be3596f7
  SHA256: 25ced95fa544af6a64d348dc5eace008edfda22f55ed1f6ad9f932b344e6196d
  SHA512: c81b3bf7ce582bf39fd7bc1e691d0777ed4cf38ca6b4d54bc9edaef076ae8bcecb6a86ebfd773591f7d8533e772517033c762d35fdc8b05cb4db4488c2bacec2
  

Ruby là gì

Ruby được phát triển lần đầu bởi Matz (Yukihiro Matsumoto) vào năm 1993, và hiện được phát triển dưới dạng Mã nguồn Mở. Nó chạy trên nhiều nền tảng và được sử dụng trên toàn thế giới, đặc biệt cho phát triển web.