摘要：
在SICP的第二章的2.06有一个church计数的题目，非常有意思。 题目是这样的：定义0为：(define zero (lambda (f) (lambda (x) x)))定义加一操作为：(define (add1 n) (lambda (f) (lambda (x) (f ((n f) x)))))给出1和2的定义。one就是(add-1 zero),为：(lambda (f) (lambda (x) (f x)))one跟zero的差别就是对x多了一次f处理，可以猜一下，two应该是：(lambda (f) (lambda (x) (f (f x))))tow就是对x做了2次f处理. 阅读全文
