第四章习题 4.1 – 4.15 的解答。从本章开始使用 mit-scheme 9.1.1。

E-4.1: 题目的意思是，函数 list-of-values 对参数列表的求值顺序依赖于解析器的实现。如果解析器对参数列表的求值顺序是从右往左的，那么 list-of-values 的求值顺序也是从右往左的，也就是说，对于 list-of-values 中的“(cons …)”，会先算“(list-of-values (rest-operands …))”这部分，后算“(eval (first-operand …))”，也就是从右往左了；如果解析器的求值顺序是从左往右，那么 list-of-values 的求值顺序也是从左往右。

(define (list-of-values-lr exps env) ; evaluates from left to right
  (if (no-operands? exps)
    '()
    (let ((first-value (eval (first-operand 

… 阅读全文…