s-combinator

5Nhiệt

1Trả lời

S combinator in Erlang

Tôi bắt đầu học phép tính lambda và tôi cần triển khai các tổ hợp I, S, K ở Erlang. Tất nhiên, S, K, tôi là viết tắt của: S = λxyz.xz(yz) K = λxy.x I = λx.x Tôi không có vấn đề tìm hiểu sự biến đổi I

lambda erlang lambda-calculus s-combinator 2011-10-17

---