lambda 演算 小例子 - fun - fun
lambda 演算 小例子
abelard
posted @ 2012年9月10日 22:18
in 程序语言
with tags
lambda calculus
, 1154 阅读
在 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)))
评论 (0)