“lisp 形式”的定义？

Question

“Lisp 表单”的具体定义是什么？

据我所知，它是“以符号作为第一个元素的原子或列表”。

但是，这（在 Scheme 中）不会是一种形式：

((lambda () 42))  ;; The answer to Life, the Universe and Everything.

因为列表的第一个元素本身就是另一个列表。在它被评估之后，它将是一个过程（而不是一个符号）。

我可以找到几个不同的网站和教程讨论 Lisp 表单，但没有一个给出完整和详细的定义。在哪里可以找到？

Answer 1

来自common lisp hyperspec glossary

form n. 1. 任何要评估的对象。 2. 一个符号、一个复合形式或一个自我评价的对象。 3.（对于运算符，如<<operator>> form'') a compound form having that operator as its first element.A引号形式是常量形式。''

Answer 2

lisp 形式是一个 lisp 数据，它也是一个程序，也就是说，它可以在没有错误的情况下进行评估。

(3 4 1)

是一个 lisp 数据，它是 3、4 和 1 的列表。这不是一种形式，但是因为尝试评估它不会导致另一个数据。而是一个错误。

3

是一个数据，一个形式，也称为“范式”或“自评估数据”，它对自身进行评估。

(+ 3 4 1)

是一个复合形式，计算它的结果是正规形式8。

除了普通形式和复合形式之外，复合形式可以细分为过程调用和特殊形式（也称为语法），但更准确地说，特殊形式的头部是语法，如：

(if (oddp 2) (print "me") (print "or me"))

这是一种特殊形式，因为它的头部是语法，而不是过程，过程调用和特殊形式之间的唯一区别在于，过程调用将形式的所有参数视为形式本身并尝试首先评估它，特殊形式不一定这样做。正如我们所理解的，只有这个复合形式的第二个和第四个成员被评估，第一个成员是语法，第三个在这种情况下被丢弃。例如，我们知道：

((a 1) (b 2))

不是 Common Lisp 中的表单，它可能是 Scheme 中的有效表单，但前提是表单 (a 1) 评估为过程数据。所以：

(let ((a 1) (b 2)) (+ a b))

是一个特殊形式，它不评估它的第二个成员，并且以不同于如果它不是特殊形式时所期望的方式评估它的第三个成员。也就是说，作为其第三种形式的子形式的 a 和 b 具有不同的绑定。在这种情况下，let 是表示特殊形式的句法关键字。

请注意，特殊形式很可能仍然评估所有参数，它们仍然不是过程调用，因为它们的头部是语法，过程可以作为参数传递给其他函数，语法不能，因此：

(func arg1 #'let)

是一个错误，同理：

(funcall let ((a 1) (b 2)) (+ a b))

是一个错误，表明它与过程调用不同。