Language
Country/Area
No result found
S-表达式的奇妙世界：为何Lisp会成为程式设计的革命？
在计算机程式设计领域，S-表达式（或称为符号表达式）是一种用于嵌套列表（树状结构）数据的表达方式。 S-表达式在Lisp程式语言中被发明并流行起来，该语言同时将S-表达式用作源代码和数据的表示形式。
「S-表达式既可以表示数据，又可以表示程式码，这使得Lisp的表达能力非常灵活。」
S-表达式的通常语法是用括号来构建，定义为类似于「x」的原子，或是「(x . y)」的形式，其中x和y都是S-表达式。这个定义反映了Lisp将列表表示为一系列“单元”的方式，每个单元是一个有序对。
这样的结构使得S-表达式能够表示任意二叉树。尽管如此，S-表达式也可以允许循环引用，在这种情况下，这个结构就不再是树，而是一个循环图。在许多现代的Lisp方言中，如Common Lisp和Scheme，都提供了相应的语法来标记这些循环结构。
根据John McCarthy的原始定义，原子可以被视为一组可识别的符号。随着时间的推移，现代的S-表达式标记法开始允许更广泛的引号字符串，并且可以用简短的符号表示多于两个成员的列表。
「在Lisp语言家族中，S-表达式被用来表示源代码和数据，这使得它们成为程式设计革命的核心。」
源于Lisp的语言繁多，各自支持不同格式的S-表达式语法，但它们共同的一个特征是使用S-表达式和前缀表示法。当表示Lisp中的源代码时，S-表达式的第一个元素通常是操作符或函数名，其余的元素则被视为参数。
权威的前缀表示法利用的便是这一点，许多程式员以此进行了大量的代码书写。例如，在C语言中的布尔表达式「4 == (2 + 2)」在Lisp中的表示为「(= 4 (+ 2 2))」。
在具体的数据类型和语法方面，S-表达式格式有许多变种，支持不同数据类型的不同语法，包括列表和对、符号和字符串，甚至浮点数和整数。
「Lisp的自同构性意味着，程式的主要表示也正是语言自身的一种数据结构。」
解析S-表达式时，常常会将其与XML进行比较。不过，S-表达式只有一种容器形式，即点对，而XML标签可以包含简单属性、其他标签或CDATA，且使用不同的语法来实现。
虽然S-表达式对于简单用例来说比XML要简单，但在更高级的用例中，XML拥有像XPath那样的查询语言以及众多工具和第三方库来简化数据处理。
随着Lisp及其衍生语言的普及，标准化也随之而来。诸如Common Lisp和Scheme的几个方言都有其S-表达式语法的规范。 Ron Rivest曾于1997年提出一份互联网草案，意在基于Lisp S-表达式定义一般用途数据存储与交换的语法。
虽然该草案最终未被批准为RFC，但其内容已被多个RFC以及其他出版物所引用并应用。这些标准的形成显示了S-表达式在计算机科学中的重要性。
在当今的编程环境中，S-表达式已广泛用于不同的应用领域，包括数据序列化标准等。值得注意的是，伦敦大学和迈阿密大学的趋势分析指出，越来越多的开发者开始探索S-表达式的潜力，以增强其程式设计的灵活性与表达能力。
总结来说，S-表达式不仅仅是一种表示法，它是Lisp语言的核心，代表了计算机编程中一种极具创新意义的结构。这样的表示法，对于程式码和数据所带来的共通性应该给我们的未来带来怎样的启示呢？
