【SICP练习】45 练习2.4
来源:互联网 发布:能记录游泳数据的手环 编辑:程序博客网 时间:2024/05/22 07:50
练习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中测试一下。
5 0
- 【SICP练习】45 练习2.4
- sicp 练习2.4
- 【SICP练习】2 练习1.6
- 【SICP练习】3 练习1.7
- 【SICP练习】4 练习1.8
- 【SICP练习】5 练习1.9
- 【SICP练习】6 练习1.10
- 【SICP练习】7 练习1.11
- 【SICP练习】8 练习1.12
- 【SICP练习】9 练习1.15
- 【SICP练习】10 练习1.16
- 【SICP练习】11 练习1.17
- 【SICP练习】12 练习1.18
- 【SICP练习】13 练习1.19
- 【SICP练习】14 练习1.20
- 【SICP练习】15 练习1.21
- 【SICP练习】16 练习1.22
- 【SICP练习】17 练习1.23
- 关于excel 中IF 语句的多重嵌套
- 【SICP练习】42 练习2.1
- HDU 2602 Bone Collector
- 【SICP练习】43 练习2.2
- 【SICP练习】44 练习2.3
- 【SICP练习】45 练习2.4
- HDU 1010 Tempter of the Bone
- Python小爬虫,(多线程)
- 【SICP练习】46 练习2.5
- zoj 1655 Transport Goods
- php开发app接口 使用php产生xml格式的文档
- AVL平衡树的实现(1)
- bzoj2049: [Sdoi2008]Cave 洞穴勘测 LCT
- 我想写一个Linux下的C++程序库--记我的C++库设计历程:设计一个TCP服务程序