8、Scheme编程：变量、控制与赋值操作详解

Scheme编程：变量、控制与赋值操作详解

一、变量绑定与定义

1. letrec表达式

在变量绑定方面，letrec表达式有着独特的用途。当变量及其值之间存在循环依赖，且求值顺序不重要时，应选择letrec而非let或let*。例如：

(letrec ((sum (lambda (x)
                (if (zero? x)
                    0
                    (+ x (sum (- x 1)))))))
  (sum 5)) 
; 结果为15

需要注意的是，letrec表达式中各表达式 val 的求值顺序未指定，因此在所有值计算完成之前引用letrec绑定的任何变量都是错误的。不过，lambda表达式中变量的出现不算作引用，除非在所有值计算完成之前调用了生成的过程。

letrec表达式 (letrec ((var val) ...) body) 可以用let和set!表示为：

(let ((var #f) ...)
  (let ((temp val) ...)
    (set! var temp) ...
    (let () body)))

这里 temp 是唯一的变量，每个 (var val) 对对应一个。外层的let建立变量绑定，初始值可