SICP习题 1.5 (应用序与正则序)

(define (p) (p))
(define (test x y)
(if (= x 0)
0
y))
(test 0 (p))

哇,这么快就印证了我的想法了吗.

首先用R5RS跑一遍,啥都没有.然后切换成Lazy Racket,结果为0.

解释:前者是应用序,p一传进来就求值,不断的调用自己,无限循环.

　　后者是正则序,从头到尾都没执行p.

到此处我又有了一个想法:

(define (p) (p))
(define (test x y)
(if (> x 0)
0
y))
(test 0 (p))

此时用Lazy Racket来运行,也会陷入无限循环.这就是到了不得不求值的时候了.