sicp 练习2.4

练习2.4  下面是序列对的另一种过程性表示方式

(define  (cons  x  y)

(lambda  (m)  (m  x  y)))

(define  (car  z)

(z  (lambda  (p  q)  p)))

以上是sicp（计算机程序的构造和解释）书中原内容。初看有点难以理解，正是这有点难理解的地方将scheme（或者lisp）的最精髓之处展现出来：1.过程（函数）可以作为参数，这早已知晓。2.值也可以是函数！！

上面程序的解释：cons接受两个参数x，y 后得到(cons  x  y)

(cons  x  y)并不是一个数据（值），而是接受一个参数m的函数

(+  2  3)是一个值，但是(cons  x  y)是一个函数。

(cons  x  y)接受参数m后，是(m  x  y)

继续看car函数：car接受参数z （很好理解），作用是把(lambda (p q) p)作为参数给z。即(z (lambda (p q) p))

执行(car (cons x y))  

=> 看car的作用，把(lambda (p q) p)作为参数给(cons x y) 

=> (cons x y)接受参数后，((lambda (p q) p) x y)

=> 得到x

最后，我们可以改写(car z)的定义：

(define car

(lambda (z)

(z (lambda (p q) p))))

以下是验证：

---------------------------------欢迎各种留言~

---------------------------------转载请注明出处~不注明也是可以的啦~