从练习1.5说起:
(define (p) (p))
(define (test x y)
(if (= x 0)
0
y))
而后求值 (test 0 (p))
由于scheme程序是应用序解释的,所以当(p)作为实参传入时,会先解析出来(p)到底是什么,再带入到test函数中去,那么(p)就会不断被(p)解释出来,导致死循环;
用个更显然的例子看:
(define (p)
(display "1")
(p))
(define (test x y)
(if (= x 0)
(display "2")
y))
调用(test 0 (p)) 会输出“11111111...”无数个“1”,而不会输出“2”,也就是说,优先解释(p),再进入test;
练习1.6是这个的拓展:
如果把if定义为一个常规过程,如下所示:
(define (new-if predicate then-clause else-clause)
(cond (predicate then-clause)
(else else-clause)))
那么调用sqrt-iter时, 由于里面有(new-if (good-enough?) guess (sqrt-iter)),就会先把所有的参数先计算出来,也就是good-enough?会计算一遍,guess计算一遍,(sqrt-iter)也要计算一遍;问题在(sqrt-iter)这个自我调用是致命的,自我调用后又会去解释一遍被调用的sqrt-iter中的(new-if (good-enough?) guess (sqrt-iter)),所以就无限循环了。