【SICP练习】2 练习1.6

こ雲淡風輕ζ 提交于 2021-02-06 07:47:19


练习1.6

这道题通过由一个新版本的if来引出,主要讨论的还是应用序和正则序的问题。我看到“将if提供为一种特殊形式”时还满头雾水,并不太清楚什么特殊形式。当再返回看if的语法时才发现,这在第12if的一般表达式下面一段。如果<predicate>得到真值,解释器就去求值<consequent>并返回其值。注意,在此处已经返回其值了,并没有进行后续运算。

而通过cond写出来的常规过程的if,在解释器采用应用序求值的情况下,如果第一次运算good-enough?时为真,则直接返回了guess

原文中的求平方根的程序:

(define (new-if predicate then-clauseelse-clause)

        (cond(predicate then-clause)

                 (elseelse-clause)))

 

(define (sqrt-iter guess x)

        (new-if(good-enough? guess x)

                   guess

                   (sqrt-iter (improve guess x)

                               x)))

 

 (define(sqrt-iter guess x)

        (if(good-enough? guess x)

                   guess

                   (sqrt-iter (improve guess x)

                               x)))

于是博主进行了如下测试:

(sqrt-iter 3.00009155413 9)

;Aborting!: maximum recursion depthexceeded

由此看来,解释器直接得出了超过最大递归深度的中止结果。

对此并不理解,后来才发现3.00009155413的平方减去9其结果为0.000549333162并不小于0.0001

于是又将3.000001的平方当作guess传入sqrt-iter,结果再次出乎意料,依旧是超过最大递归深度。

希望弄清楚这个问题的网友们能够予以回复咯。

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

易学教程内所有资源均来自网络或用户发布的内容,如有违反法律规定的内容欢迎反馈
该文章没有解决你所遇到的问题?点击提问,说说你的问题,让更多的人一起探讨吧!