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)))
在 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)))