【SICP练习】1 练习1.1-练习1.5

最新推荐文章于 2021-04-13 16:20:46 发布

oldbalck

最新推荐文章于 2021-04-13 16:20:46 发布

阅读量144

点赞数

原文链接：https://yq.aliyun.com/articles/1252

版权

练习1.1

这道题主要是关于简单的数字运算，我们看完之后可以在MIT-Scheme中进行验算。如果环境不熟悉，可以参见【Scheme归纳】的第一篇博文。如果发现在MIT-Scheme等环境上的运算结果和自己算的不一样，也应该再仔细看看在书写代码的时候有没有手误。

练习1.2

这是一道将表达式转换成前缀形式的题目，博主最喜欢Lisp中的一大堆括号了。写完之后在Mit-Scheme中进行运算试试。

练习1.3

(define (sum-of-max x y z)

(cond

((and(<= x y) (<= x z)) (+ y z))

((and(<= y z) (<= y x)) (+ x z))

((and(<= z x) (<= z y)) (+ x y))))

cond和if在书中都已经有了不少的介绍，在本篇博客之前的文章中对Scheme的基本语法做了一些介绍，对于阅读SICP这本经典作品来说做点准备工作是挺有必要的。

练习1.4

其实看函数的名称大概可以猜出这个意思：a加上b的绝对值。但还是应该继续读下去。如果b大于0的话则返回加号，如果小于0的话则返回减号。返回的符号则继续作为a和b的运算符。

练习1.5

这道题讲的是Ben Bitdiddle发明了一种检测解释器用的正则序还是应用序求值。通过阅读书中的前面部分我们知道，将表达式完全展开然后将数值代入逐步运算，就是正则序求值；而将数值代入求值并逐渐展开称为应用序求值。他定义了下面两个过程：

(define (p) (p))

(define (test x y)

(if(= x 0)

y))

而后他求值下面的表达式：

(test 0 (p))

博主已经在写这篇博客前在MIT—Scheme上验算过结果了。并没有出现网络上其他读者出现的死机情况，但是风扇也飞速运转了。我本人倒是很喜欢这种声音，喜欢做超大数字的运算，换电脑的时候特意选了一个i7的。至于为什么没有返回结果，这是因为如书中第11页第二段，Lisp采用应用序求值。而应用序求值会先进行运算而后进行展开。在求值的时候(p)会返回到第一个define中进行求值，但你也该发现了返回的还是(p)，还是因为这是应用序求值，因此它会一直运算下去。

如果是正则序求值，在(test 0 (p))之后就直接进入了第二个define，将其全部展开：(if (= 0 0) 0 (p))。而根据if的求值顺序，当predicate(= 0 0)成立时，直接运算并返回0(consequent)，并不会去运算alternative((p))。