sp，运行在大型IBM主机（IBM700/7000系列）上。LISP的函数是使用邱奇的lambda表示法定义的，并扩展了标签构造来允许递归函数。最开始的lisp是多范型语言，并且随着新的范型的发展，越来越多的编程风格得到了支持。后来发展出来的方言比如Scheme，Clojure，和分支语言比如和Julia等，试图简化Lisp，使它围绕一个函数式核心，而Common Lisp旨在保留并更新它所替代的各种更早先lisp方言的那些范型特征。而于1956年发明的IPL语言，一般被认为是第一个基于计算机的函数式编