可以被求值的 Lisp 表达式称为 form (形式)。对一个 form 求值总会产生一个结果,该结果是一个 Lisp 对象。在本手册的示例中,这一过程用符号 ‘⇒’ 表示:
(car '(1 2))
⇒ 1
你可以将其读作:“(car '(1 2)) 求值结果为 1”.
当一个 form 是宏调用时,它会展开为一个新的 form 供 Lisp 求值。我们用 ‘→’ 表示展开结果。展开后 form 的求值结果可能会展示,也可能不展示。
(third '(a b c))
→ (car (cdr (cdr '(a b c))))
⇒ c
为了辅助描述某个 form形式,我们有时会展示另一个效果完全相同的形式。两个形式的严格等价关系用 ‘≡’ 表示。
(make-sparse-keymap) ≡ (list 'keymap)