Ветка обсуждения "Почему Лисп?" в ru_lisp.

Они первые начали. ;)

Лисп - это религия лисперов с программистских форумов.

(опять с RSDN - там метапрограммирование lisp-style было возведено в ранг инструмента на все случаи жизни. вообще все, без исключения. оно всегда поможет. не бывает, что не помогает, уж тем более не бывает, что мешает.)

Lisp is the most verbose language, даже в сравнении с C++. ;)

От все того же Alex Mizrahi:( На Лиспе. )

http://www.cs.utexas.edu/users/moore/publications/acl2-books/car/

Это, вообще, книга и полностью ее в онлайне нет. Однако есть следующий параграф:
ACL2 is used in industry. Remember the Intel FDIV bug? The first Pentium [trademark, Intel, Inc] could ( Read more... )

...Lambda the Ultimate, то вот: исходники одной из версий софта для LispM LISP-машины.

PS
Programing language Lithp ith thaid to be utheful in proceththing lithtth. ;)