scheme解释器有两种实现方式,一种是应用序,先对每个参数求值,再以首过程对所有求得的参数求值. 第二种是正则序,会“完全展开然后归约”(书中原文) SICP中的练习1.5,让我困惑了一下.原题如下: Ben Bitdiddle发明了一种检测方法,能够确定解释器究竟采用何种序求值,是采用应用序,还是采用正则序.他定义了下面两个过程: (define (p) (p)) (define (test x y) () y)) 而后他求值下面的表达式: (test 0 (p)) 问题:不同的求值序,结果…
