sicp 1.5

下面这段代码：

 

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

应用序（applicative-order）求值：

(test 0 (p))

(test 0 (p))

...

求值过程不会结束，DrScheme即是应用序求值

 

正则序（normal-order）求值：

(test 0 (p))

(if (= 0 0) 0 (p))

0

结果为0