1.3.3 Evaluation Notation

評価することができるLisp式のことを、フォーム(form)と呼びます。フォームの評価により、常に結果としてLispオブジェクトが生成されます。このマニュアルの例では、これを‘⇒’で示します:

(car '(1 2))
     ⇒ 1

これは、“(car '(1 2))を評価すると1になる”と読むことができます。

フォームがマクロ呼び出しの場合、それは評価されるための新しいLispのフォームに展開されます。展開された結果は‘→’で示します。展開されたフォームを評価した結果を示すこともあれば、示さない場合もあります。

(third '(a b c))
     → (car (cdr (cdr '(a b c))))
     ⇒ c

1つのフォームを説明するために、同じ結果を生成する別のフォームを示すこともあります。完全に等価な2つのフォームは、‘≡’で示します。

(make-sparse-keymap) ≡ (list 'keymap)