表达数学基础才被开发的。于20世纪50年代后期，John McCarthy在麻省理工学院，开发了早期的函数式语言Lisp，运行在大型IBM主机（IBM700/7000系列）上。LISP的函数是使用邱奇的lambda表示法定义的，并扩展了标签构造来允许递归函数。最开始的lisp是多范型语言，并且随着新的范型的发展，越来越多的编程风格得到了支持。后来发展出来的方言比如Scheme，Clojure，和分支语言比如和Julia等，试图简化Lisp，使它围绕一个函数式核心，而Common Lisp旨在保留并更新它