lisp - "A micro-manual for Scheme"？

Question

鉴于 LISP 显然可以用“LISP 微型手册”的“10 条规则”来表达 [1] [2] (这是真的吗？)，是否有类似简洁的Scheme描述？

Answer 1

这里麦卡锡的“10 条规则”本质上是操作语义的早期形式。这份文件来自 1978 年，是在第一份 Scheme 报告之后 3 年写成的，其中 Abelson 和 Steele 提取了 LISP 的简单部分来创建 Scheme。 Scheme 和 LISP 都是移动目标，因此您必须通过说“这符合 当时的 方案”来限定比较。我声称您可以将此微型手册视为同样适用于 Scheme 和 LISP。

FWIW，McCarthy 的函数评估规则(下文)使用短语“在原始环境中”，这似乎需要避免捕获替换，因此需要词汇范围。

"9. value ((LAMBDA (v₁ ... v_n) e) e₁ ... e_n) is the same as value e but in an environment in which the variables v₁ ... v_n take the values of the expressions e₁ ... e₁ in the original environment." [emphasis mine]