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

2015/09/08 21:46
阅读数 4


练习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))))

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

 

练习1.4

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

 

练习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))



感谢您的访问,希望对您有所帮助。


欢迎大家关注或收藏、评论或点赞。


为使本文得到斧正和提问,转载请注明出处:

http://blog.csdn.net/nomasp

版权声明:本文为 NoMasp柯于旺 原创文章,未经许可严禁转载!欢迎访问我的博客:http://blog.csdn.net/nomasp

展开阅读全文
打赏
0
0 收藏
分享
加载中
更多评论
打赏
0 评论
0 收藏
0
分享
返回顶部
顶部