格林斯潘第十定律

格林斯潘第十定律（Greenspun's tenth rule）是计算机编程领域，尤其是编程语言领域的一句格言：

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

来源

该定律由菲利普·格林斯潘（Philip Greenspun）于1993年前后提出。尽管被称作“第十定律”，然而实际上并没有前九个定律。格林斯潘曾解释说：

含义

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

如同保罗·格雷厄姆所说，Lisp比起其他语言可以更快地构建更健壮的程序。特别是Common Lisp有相当大的标准库，其中有大量的功能和灵活的接口，能写出符合各种编程范式的程序（如remove、reduce、map等）。格林斯潘第十定律表示，任何复杂软件系统都需要上述的功能，都将从头到尾重新设计开发这一套系统，而这在Common Lisp中已经存在了。

莫里斯推论

知名黑客罗伯特·泰潘·莫里斯后来给该定律加上了推论，澄清适用该定律的“足够复杂的”程序集合：

可以认为是对编写庞大而复杂的Common Lisp程序困难性的评论，或仅仅是对于Lisp中eval函数的幽默。格林斯潘第十定律和莫里斯推论都具备黑客幽默中“哈哈，但的确如此”的风格特征。

 参见 

 内平台效应
 图灵焦油坑
 Zawinski包装软件定律

 参考 

Category:LISP程式語言
Category:编程经验法则
Category:電腦結構陳述