lisp - 什么是 S 表达式

Question

所有 Lisp 开发人员似乎都知道什么是 S 表达式。但是有人可以为非 Lisp 开发人员解释一下吗？

已经有一个维基百科条目 ( https://en.wikipedia.org/wiki/S-expression )。但如果您不想深入了解细节，那并没有多大帮助。

什么是 S 表达式？我可以用 S-Expression 表达什么？出于什么目的通常使用 Lisp S-Expressions？ S-Expressions 是否只与 Lisp 开发人员相关？

Answer 1

术语S-expression 指的是 Lisp 对象的打印形式。例如，整数零对象可以显示为书面 S 表达式，如 0、000 或 #x0。文本 (0 . 1) 是 S 表达式，表示一个 cons 单元对象，其字段是整数 0 和 1。在 Common Lisp 中，在默认的读取表下，标记 Foo、fOO、FOO、|FOO| 和foo，都是表示相同符号的S表达式。它们是不同的读取语法，通过表示同一对象的语义等同。

我们为什么不直接称这些东西为表达式呢？首先，有时我们会这样做，从上下文中可以清楚地看出我们在谈论字符语法。出于这个原因，术语表达式 是有歧义的:它有时可以指文本的、打印的表达式，例如，某人在文本文件或交互式监听器中键入的表达式。大多数时候，expression 指的是内存中表示代码的 Lisp 对象。

我们可以说打印表达式而不是S-表达式，但这个术语在历史上根深蒂固，可以追溯到 Lisp 也有M-表达式的时代。另外，打印表达式 只有当我们知道我们已经在谈论 Lisp 时，才会与 S-expression 具有相同的含义。在 Lisp 之外的语境中，S-expression 一词的意思类似于“来自 Lisp 家族的打印对象符号之一，符号不带引号，嵌套列表带有括号，其中项目被分隔仅由空格。”

请注意，ANSI Common Lisp 标准不使用术语S-表达式 或符号表达式。词汇表中没有这样的术语，只有表达式，定义如下:

expression n. 1. an object, often used to emphasize the use of the object to encode or represent information in a specialized format, such as program text. "The second expression in a let form is a list of bindings." 2. the textual notation used to notate an object in a source file. "The expression 'sample is equivalent to (quote sample)."

S-expression 或多或少是 (2) 的意思，具有历史联系，并且在任何一种 Lisp 方言之外都有更广泛的解释。例如，Ron Rivest 可能是 RSA 密码系统的作者之一。写了一个Internet Draft描述一种用于数据交换的 S 表达式。