Concept Tôi đang thực hiện một thông dịch viên cho phép người dùng để xác định độc đoán combinators và áp dụng chúng với các điều khoản tùy ý. Ví dụ, người dùng có thể xác định Church encoding for pai
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 =