Kết hợp Y trong sơ đồ bằng cách sử dụng Định nghĩa

Question

Để tìm hiểu những gì một bộ kết hợp điểm cố định và được sử dụng cho, tôi đã viết của riêng mình. Nhưng thay vì viết nó với chức năng nghiêm chỉnh mang tính chất như Wikipedia's example, tôi chỉ sử dụng xác định:

(define combine (lambda (functional) 
        (functional (lambda args (apply (combine functional) args)))) 

Tôi đã thử nghiệm điều này với functionals cho thừa và fibonacci, và có vẻ như để làm việc. Điều này có đáp ứng được định nghĩa chính thức của một bộ kết hợp điểm cố định không?

Answer 1

Câu trả lời là không, bởi vì theo the blog referred to in the previous answer, nó thậm chí không đáp ứng định nghĩa của combinator, vì 'kết hợp' là một miễn phí biến.

Answer 2

EDIT: Trong khi chessweb hoặc bất kỳ ai khác chứng thực câu trả lời của mình, tạm thời xem xét câu trả lời đúng và điều này sai.

---

Có vẻ như câu trả lời là có. Rõ ràng cùng combinator chính xác xuất hiện here, nằm xuống trang:

(define Y 
    (lambda (f) 
     (f (lambda (x) ((Y f) x)))))