练习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)
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))。
感谢您的访问，希望对您有所帮助。
欢迎大家关注或收藏、评论或点赞。
为使本文得到斧正和提问，转载请注明出处：