SICP 2.6 习题答案-lambda算子

2.6这道题目需要一些lambda算子的知识,g9的blog有很不错的文章翻译了。

具体是这样的,首先是one,one即为zero add-1,所以把zero代入add-1的表达式中,得:
lambda (f) (lambda (x) (f (((lambda (f) (lambda (x) x)) f) x)))

将f代入zero的lambda表达式中,得
lambda (f) (lambda (x) (f ((lambda (x) x) x)))

然后正好可以将x代入后面lambda (x)的表达式中,得到one
lambda (f) (lambda (x) (f (x)))


two也是同样的道理,把one代入到add-1中
lambda (f) (lambda (x) (f ((lambda (f) (lambda (x) (f (x))) f) x)))

和上面一样,继续:
lambda (f) (lambda (x) (f (lambda (x) (f (x)) x)))

得到two:
lambda (f) (lambda (x) (f (f (x))))


不过这样的推导过程是有错误的,因为没有做alpha代换,以保证beta简化的正确性:有界变量和自由变量的冲突。我就偷个懒了。
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值