格林斯潘第十定律

格林斯潘第十定律是计算机编程领域，尤其是编程语言领域的一句格言：^[1][2]

任何足够复杂的 C语言或者 Fortran程序中，都包含一个临时特设的、不合规范的、充满 程序错误的、运行速度很慢的、只有一半功能的 Common Lisp实现。

这表现了Lisp语言的灵活性和可扩展性，它包含了理论上编写复杂计算机程序需要的所有功能。而其他编程语言的核心实现却不能提供开发复杂程序的关键性功能支持。

来源

该定律由菲利普·格林斯潘（Philip Greenspun）于1993年前后提出。尽管被称作“第十定律”，然而实际上并没有前九个定律。格林斯潘曾说这只是为了更好记。^[3]

含义

Lisp语法几乎是抽象的，其程序以S-表达式形式构建，这等价于其他编程语言内置编译器中的抽象语法树。Lisp作为一种同像（homoiconic）的语言，不区分代码与数据，即：Lisp程序本身即Lisp数据结构。Lisp程序自身可通过宏生成额外的Lisp程序。因此，程序员可以相对轻松地构建复杂的特定领域语言。

如同保罗·格雷厄姆所说，Lisp比起其他语言可以更快地构建更健壮的程序。^[4]

格林斯潘第十定律表示，任何复杂软件系统都需要上述的功能，都将从头到尾重新设计开发这一套系统，而这在Common Lisp中已经存在了。

莫里斯推论

知名黑客罗伯特·泰潘·莫里斯给该定律加上推论：

……包括 Common Lisp。 ^[5]

可以被认为是对编写庞大而复杂的Common Lisp程序困难性的评论，或仅仅是对于Lisp中eval函数的幽默。

格林斯潘第十定律和莫里斯推论都具备黑客幽默中“哈哈，但的确如此”的风格特征。^[6]