(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来运行,也会陷入无限循环.这就是到了不得不求值的时候了.