为何TSPL的letrec示例改用let仍可在Chez Scheme中运行？

这不是Chez Scheme的bug，而是它的延迟绑定特性导致的，完全符合TSPL所讲的标准Scheme语义——只是Chez做了非标准扩展。

标准Scheme中let和letrec的核心区别 #

• let：变量绑定遵循「先求值所有右侧表达式，再将结果绑定到变量」的规则，定义阶段变量互相不可见，因此不支持递归或互相递归的定义。
• letrec：先为所有变量创建环境占位符，再求值绑定表达式，变量在定义阶段就互相可见，专门用来实现递归定义。

Chez Scheme的特殊之处 #

Chez Scheme对lambda采用了延迟绑定：lambda中的自由变量（比如even?里引用的odd?）不会在lambda创建时就解析绑定，而是等到lambda被调用时，才去当前环境中查找对应的变量。

用let定义这对递归函数时，流程是这样的：

1. 先求值两个lambda表达式，此时even?和odd?还没绑定到环境，但lambda只是被创建，并未被调用，所以不会触发变量查找。
2. 完成let的绑定后，even?和odd?都存在于当前环境中。
3. 当调用(even? 20)或(odd? 20)时，lambda里的自由变量才会去环境中查找，这时候两个变量都已绑定，因此能正常执行递归逻辑。

注意事项 #

这种行为是Chez Scheme的非标准扩展，在标准Scheme或其他实现（比如Racket）中，用let写这种互相递归的代码会直接报错，因为它们遵循标准的立即绑定规则，创建lambda时就会检查自由变量的绑定状态，发现未定义的变量就会抛出错误。

内容的提问来源于stack exchange，提问作者wang kai