fun - fun

lambda 演算 小例子

Lambda tutorial 中要求完成,要求输入“((D man) sleeps)”,输出为“(e x ((man x) & (sleeps x)))”,请填充"D"

测试的答案如下:

输入: (((lambda z (lambda y (e x ((z x) & (y x))))) man) sleeps) 

输出: (e x ((man x) & (sleeps x)))




Host by is-Programmer.com | Power by Chito 1.3.3 beta | © 2007 LinuxGem | Design by Matthew "Agent Spork" McGee