Десятое правило Гринспена

Десятое правило Гринспена (англ. Greenspun's Tenth Rule) — афоризм из области программирования, гласящий:^[1][2]

Любая достаточно сложная программа на Си или Фортране содержит заново написанную, неспецифицированную, глючную и медленную реализацию половины языка Common Lisp.

Оригинальный текст (англ.)

Any sufficiently complicated C or Fortran program contains an ad hoc, informally-specified, bug-ridden, slow implementation of half of Common Lisp.

Правило было сформулировано примерно в 1993 году Филипом Гринспеном^[англ.]. Хотя оно известно как «десятое», предшествующих ему правил не существует. Название сам Гринспен объяснял так:^[3]

Просто я пытался дать правилу запоминающееся название.

Оригинальный текст (англ.)

I was just trying to give the rule a memorable name.

Смысл правила в том, что программисты, ограниченные низкоуровневыми языками вроде Си, преодолевают ограничения языка путём введения в текст программ аналогов свойств, присущих более выразительным языкам вроде Лиспа.

Впоследствии хакер Роберт Моррис уточнил:^[4]

…в том числе и сам Common Lisp.

Оригинальный текст (англ.)

…including Common Lisp.

Уточнение может рассматриваться в качестве комментария к сложности создания эффективной реализации языка Common Lisp или просто как шутливое описание работы функции eval^[англ.] в Лиспе.

Любая достаточно сложная программа на Лиспе наверняка содержит медленную реализацию половины языка Пролог.

Оригинальный текст (англ.)

Any sufficiently complicated LISP program is going to contain a slow implementation of half of Prolog.

Эта формулировка^[5] отражает тот факт, что программы на Прологе содержат островки в стиле Лиспа, а программы на Лиспе — островки в стиле Пролога.

С распространением распределённого программирования и популяризацией идей, реализованных в языке Erlang, Роберт Вирдинг предложил такой вариант:^[6]

Любая достаточно сложная распределённая программа содержит заново написанную, неспецифицированную, глючную и медленную реализацию половины языка Erlang.

Оригинальный текст (англ.)

Any sufficiently complicated concurrent program in another language contains an ad hoc informally-specified bug-ridden slow implementation of half of Erlang.

Эту поправку также называют следствием Армстронга.

Правило часто варьируется путём замены слов «Common Lisp» на любимый функциональный язык говорящего (например, Scheme или Haskell). Можно обобщить, что:

Любая достаточно сложная платформа содержит заново написанную, неспецифицированную, глючную и медленную реализацию половины функционального языка.

Оригинальный текст (англ.)

Any sufficiently complicated platform contains an ad hoc, informally-specified, bug-ridden, slow implementation of half of a functional programming language.