“计划的微型手册”？

Question

鉴于LISP显然可以在“LISP的微观手册”的“10条规则”中表达[1] [2]（这是真的吗？），是否有类似简洁的Scheme描述？

Answer 1

麦卡锡的“10条规则”基本上是操作语义的早期形式。本文件来自1978年，是在第一份计划报告发布3年后撰写的，其中Abelson＆amp;斯蒂尔拉出LISP的简单位来创建Scheme。 Scheme和LISP都是移动目标，所以你必须通过说“这匹配当时的方案”来进行比较。我声称您可以将此微型手册视为同等适用于Scheme和LISP。

FWIW，McCarthy的功能评估规则（下文）使用“在原始环境中”这一短语，这似乎需要捕获 - 避免替换，从而需要词法范围。

  

“9。值（（LAMBDA（v ₁ ... v _n ）e）e ₁ ... e _n ）与 value e 相同，但在变量 v ₁ 的环境中...... v _n 取   表达式的值 e ₁ ... e ₁ 在原始环境中。“[强调我的] < / p>

Answer 2

我认为，在43页，最简洁的Scheme描述是the original.但是，再说一遍，我是Common Lisp程序员。