1.3.3 求值表示法

可以被求值的 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)
emacs

Emacs

org-mode

Orgmode

Donations

打赏

Copyright

© 2025 Jasper Hsu

Creative Commons

Creative Commons

Attribute

Attribute

Noncommercial

Noncommercial

Share Alike

Share Alike