lisp - 「Scheme のマイクロマニュアル」?

Question

LISP は「A micro-manual for LISP」[1] [2]の「10 のルール」で表現できるようですが (これは本当ですか?)、Scheme の同様の簡潔な説明はありますか?

Answer 1

ここでのマッカーシーの「10のルール」は、本質的に操作的意味論の初期の形式です。このドキュメントは1978年のもので、最初のSchemeレポートから3年後に作成されました。このレポートでは、Abelson＆SteeleがLISPの簡単な部分を引き出してSchemeを作成しています。スキームとLISPはどちらもターゲットを動かしているので、たとえば「これはその日のスキームと一致します」と言って比較を修飾する必要があります。このマイクロマニュアルは、SchemeとLISPに等しく適用されるとみなすことができると私は主張します。

FWIW、マッカーシーの関数評価のルール（以下）では、「元の環境で」というフレーズを使用しています。これには、キャプチャを回避する置換、つまり字句スコープが必要と思われます。

"9.値（（LAMBDA（v ₁ ... v _n）e）e ₁ ... e _n）は値eと同じですが、変数v ₁ ...vn_が値をとる環境にあります。元の環境_での式e1 ...e1_の 。」[強調鉱山]

Answer 2

43ページで、Schemeの最も簡潔な説明はオリジナルであると私は主張します。しかし、繰り返しになりますが、私はCommonLispプログラマーです。