【SICP练习】2 练习1.6

标签：

练习1.6

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

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

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

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

         (cond (predicate then-clause)

                  (else else-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 depth exceeded

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

对此并不理解，后来才发现3.00009155413的平方减去9其结果为0.000549333162并不小于0.0001。于是又将3.000001的平方当作guess传入sqrt-iter，结果再次出乎意料，依旧是超过最大递归深度。希望弄清楚这个问题的网友们能够予以回复咯。

【SICP练习】2 练习1.6

标签：

原文地址：http://www.cnblogs.com/NoMasp/p/4274404.html