Lisp的历史十分悠久，仅次于Fortran，是第二古老的语言。 而对于Fortran，语言学家给予的负面评价远比正面评价多，甚至在很多场合被作为程序设计语言的反面教材； 但是Lisp则刚好相反，它一直被人们作为一个优秀作品的例子被大加赞扬，这些人中包括著名的计算机科学家，Smalltalk的发明人——Alan Kay。 有一个传言，据说McCarthy当时想把这门语言的语法设计往后拖一拖，等到他把一些有趣的事做完之后，再回过头来给这门给予Lambda演算理论的语言加上一些数学家们熟悉的语法，可是他的一个学生发现，在一个还没有定义正式语法的抽象语法上中写程序，感觉非常好，于是McCarthy干脆就决定不定义Lisp的语法。直到如今，Lisp的“语法”定义中值得一提的规则似乎只有一条“括号要配对”，其它的都是“语义”上的规范。 这样做当然不是没有代价的，很快Lisp就出现了第一个分支Scheme。这个语言由Guy Steele, Jr.和他的老师Gerald Sussman设计。这两位最开始的工作是改进Lisp，他们共同把Lisp由Dynamic scope变成了Lexical scope。今天几乎大家熟悉的所有语言都是Lexical scope。后来他们共同把Continuation这个概念引入了Lisp，于是一门新语言就这样诞生。 随后，Sussman把Lexical scope和Scheme中的一些其它概念都引入了Lisp，并由此确立了Common Lisp的标准，Sussman本人也一直是Common Lisp的主力。 作为一门最早出现的FP语言，Lisp当然有它的缺点，其中最为人诟病的恐怕就是括号了，所以随后出现的许多FP语言都试图使用另外的语法来清晰的描述程序，这其中最著名的当属Haskell，Haskell是一门“纯正”的FP语言，在Haskell中，变量不能赋值，没有循环，甚至没有程序流程，一切都是函数。 (翻译稍后)