lambda算子

版权声明:本文为博主原创文章,未经博主允许不得转载。 https://blog.csdn.net/zzuzadz/article/details/47275257
((lambda x (x x))(lambda x (lambda y (x x))))    =  Y F

(lambda x (lambda y (x x))) (lambda x (lambda y (x x)))       = F F
   
(lambda y1 (  (lambda x (lambda y (x x)))  (lambda x (lambda y (x x))) ))      =  F (Y F) = F (F F)

(lambda y1 (  (lambda y2 (  (lambda x (lambda y (x x)))  (lambda x (lambda y (x x))) ))  ) = F (F (Y F)) = F (F (F F))
展开阅读全文

没有更多推荐了,返回首页