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简化的正确性：有界变量和自由变量的冲突。我就偷个懒了。