Cân nhắc combinator này: S (S K)
Áp dụng nó để các đối số XY: S (S K) X Y
Nó thu gọn lại để: X Y
Tôi đã chuyển đổi S (SK) thành các thuật ngữ Lambda tương ứng và nhận kết quả này: (\x y -> x y)
bây giờ tôi hiểu kiểu chữ ký của s (s k): s (s k) :: ((t1 -> t2) -> t1) -> (t1 -> t2) -> t1
Và tôi có thể tạo ra những ví dụ mà làm việc mà không có lỗi trong công cụ Haskell WinGHCi: Ví dụ: s (s k)
Tôi đã không hài lòng với các Cominator bằng JavaScript và được tự hào về (hy vọng) khiến S hoạt động khi tôi tình cờ gặp Wikipedia nói: "Bộ kết hợp Y có thể được thể hiện trong SKI- calculus như: Y =