sicp练习2.6

sicp练习2.6中写了一个丘奇计数的函数：

(define  zero

(lambda  (f)  (lambda  (x)  x)))

(define  (add-1 n)

(lambda  (f)  (lambda  (x)  (f  ((n  f)  x)))))

本来我以为是重新用过程完全定义了数学的加法。以至于一直无法理解。今天发现。。这个函数并没有什么了不起的地方。。

这个函数的作用是什么呢？看zero函数它的用法是这样的((zero  inc)  3)。首先你要定义好inc也就是加一函数，然后还要有0，1，2，3这些数。

然后zero会把inc作用与3，作用0次。直接返回3。

one则会把inc作用与3，作用1次。返回4。

那one的函数怎么写呢？

(define  one 

(lambda  (f)  (lambda  (x)  (f  x))))

two的函数呢？

(define  two 

(lambda  (f)  (lambda  (x)  (f  (f  x)))))

如何由zero得到one呢？(add-1  zero)

如何由one得到two呢？(add-1  one)

----------------------------所以这个丘奇计数是一个很有用的函数。比如((two  square)  3)就是把square应用与3，应用2次。得到81。

----------------------------欢迎各种留言~转载注明出处~不注明也可以~