chức năng của Ruby vs phương pháp

Question

Trong Ruby Programming Language, Chương 6 (đoạn thứ hai) họ nêu:

Nhiều ngôn ngữ phân biệt giữa chức năng, mà không có đối tượng liên quan , và phương pháp, mà được gọi trên một máy thu vật. Bởi vì Ruby là một ngôn ngữ hướng đối tượng thuần túy, tất cả các phương thức là các phương thức đúng và là được liên kết với ít nhất một đối tượng.

Và sau đó ở giữa của đoạn 6:

Cả hai procs và lambdas là chức năng chứ không phải là phương pháp gọi trên một đối tượng .

Tôi hơi bối rối về những phát biểu này. Ruby thực sự là OO thuần túy, và do đó không có các hàm không liên kết với các đối tượng (nếu đó là định nghĩa hợp lệ của OO thuần túy), hoặc là các procs/lambdas được liên kết với đối tượng Proc? Sự khác nhau giữa các hàm và phương thức trong Ruby là gì?

Bất kỳ trợ giúp nào trong phân tích cú pháp và hiểu điều này sẽ được đánh giá cao.

Answer 1

lambda s trong Ruby là đối tượng của lớp Proc. Proc đối tượng không thuộc về bất kỳ đối tượng nào. Chúng được gọi mà không ràng buộc chúng với một đối tượng.

Phương thức là đối tượng của một trong hai lớp Method hoặc UnboundMethod, tùy thuộc vào việc chúng có bị ràng buộc hoặc không bị ràng buộc hay không. Xem phần giải thích here. Không thể gọi các phương thức chưa được gửi cho đến khi chúng được liên kết với một đối tượng.

lambda{|x| x}.class  # => Proc 
lambda{|x| x}.call(123) # => 123 

class Foo 
    def bar(baz) 
    baz 
    end 
end 

puts Foo.new.method(:bar).class  # => Method 
puts Foo.new.method(:bar).call(123) # => 123 

puts Foo.instance_method(:bar).class  # => UnboundMethod 
puts Foo.instance_method(:bar).call(123) # => throws an exception 

Bạn có thể bind một UnboundMethod đến một đối tượng và sau đó gọi nó. Nhưng bạn không thể bind một Proc cho một đối tượng nào cả. Tuy nhiên, đối tượng Proc có thể nắm bắt các biến cục bộ trong phạm vi xung quanh, trở thành bao đóng.

Answer 2

Procs và lambdas là cả hai đối tượng cho chính mình, với phương thức call thực sự gọi khối liên kết với proc (hoặc lambda). Tuy nhiên, Ruby cung cấp một số cú pháp đường để gọi chúng mà không có lệnh gọi rõ ràng tới call.

Answer 3

Tôi nghĩ rằng sự khác biệt giữa các phương pháp và first order function tức là. các hàm có thể được truyền xung quanh dưới dạng giá trị.