Lisp 中 1 和 '1 有什么区别？

Question

我从来没有真正想过 Lisp 中的符号是否可以是数字，所以今天我玩了一下：

> '1
1
> (+ '1 '1)
2
> (+ '1 1)
2
> (define a '1)
> (+ a 1)
2

上面的代码是 schema，但在 Common Lisp 和 Clojure 中似乎也大致相同。 1和引用的1有什么区别吗？

Answer 1

嗯，事实上它们非常不同。然而，'1 与 (quote 1) 完全相同。 (car ''x) 计算结果为符号“quote”。

1 是一个 S 表达式，它是数据（数字 1）的外部表示。要说 1 是“数字对象”或 S 表达式输入该对象都可以接受。通常人们说 1 是实际数字对象的外部表示。

(quote 1) 是另一个 S 表达式，它是一个 list 的 S 表达式，其第一个元素是符号“quote”，第二个元素是数字 1。这就是它已经不同的地方，与函数不同，语法关键字不被视为语言中的对象，并且它们不会评估它们。

然而，两者都是对象（数据）的外部表示，它们评估相同的数据。外部表示为 1 的数字，但是它们肯定不是相同的对象、相同的代码、相同的数据等等，它们只是计算出相同的东西。数字会自行评估。说它们是相同的就是说：

(+ 1 (* 3 3))

并且

(if "Strings are true" (* 5 (- 5 3)) "Strings are not true? This must be a bug!")

是“相同”，它们不是，它们都是不同的程序，只是碰巧终止到相同的值，lisp 形式是也是一个程序，表格是一个数据，它也是一个程序，记住。

另外，我曾经被教过一个方便的技巧，它表明自我评估数据在输入时确实不是符号：

(let ((num 4))
  (symbol? num) ; ====> evaluates to #f
  (symbol? 'num) ; ====> evaluates to #t
  (symbol? '4) ; ====> evaluates to #f
  (symbol? '#\c) ; #f again, et cetera
  (symbol? (car ''x)) ; #t
  (symbol? quote) ; error, in most implementations
)

自我评估数据真正评估自己，它们不是某种“预定义符号”。

Answer 2

在 Lisp 中，撇号会阻止符号被求值。不禁止在数字前使用撇号，但没有必要，因为数字代表其本身。但是，与任何其他列表一样，它会自动转换为适当的函数调用。解释器认为这些数字与其值一致。

Answer 3

正如已经指出的那样，没有区别，因为数字会自行评估。您可以使用 eval 来确认这一点：

(eval 1)  ;=> 1

顺便说一句，这不仅限于数字。事实上，在 Common Lisp 中，大多数事物都会自行评估。只是除了数字、字符串、符号和列表之外，很少有其他东西被评估。例如，以下作品：

(eval (make-hash-table))  ;equivalent to just (make-hash-table)

Answer 4

在 Lisp 中，quote 会阻止对后面的表达式求值。 ' 是 quote 的简写。因此，'1 与 (quote 1) 相同。

然而，在 Lisp 中，符号永远不可能是数字。我的意思是， 'abc 是一个符号，但 '123 不是（评估为）符号。我认为这是 Lisp 设计的错误。另一种情况是不仅#t或#f可以用作布尔表达式。

Answer 5

在 Common Lisp 中，'1 是 (QUOTE 1) 的简写。求值时， (QUOTE something) 返回未求值的 something 部分。但是，1 个已评估和 1 个未评估之间没有区别。

所以对读者来说是有区别的：'1 读作 (QUOTE 1) 和 1 读作 1。但是在评估时没有区别。

Answer 6

数字是自我评估对象。这就是为什么您不必像处理列表那样担心引用它们。

符号可以由任何字符串组成。如果您想要名称为单个字符1的符号，您可以说：

(intern "1")

打印|1|，建议另一种输入方式：

'|1|

Answer 7

引用可以防止表达式稍后被求值。例如，以下内容不是正确的列表：

(1 2 3)

这是因为 Lisp 将 1 解释为函数，但事实并非如此。所以这个列表必须被引用：

'(1 2 3)

当你引用一个非常简单的表达式（比如数字）时，Lisp 实际上不会改变它的行为。

请参阅维基百科：Lisp。