练习2.4

直接运用对比的技巧就可以猜测出相应的cdr表示如下：

(define (cdr z)

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

但我们还是要按照题中要求用代换模型来检验。先来检验car的。

(car (cons 0 1))

(car (lambda (m) (0 1)))

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

  (lambda (m) (0 1)))

((lambda (m) (0 1)) (lambda (p q) p))

((lambda (p q) p) 0 1)

0

接下来是cdr的。

(cdr (cons 0 1))

(cdr (lambda (m) (0 1)))

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

   (lambda (m) (0 1)))

((lambda (m) (0 1)) (lambda (p q) q))

((lambda (p q) q) 0 1)

1

大家可以在Edwin中测试一下。

版权声明：本文为 NoMasp柯于旺 原创文章，如需转载请联系本人。