函数式编程

函数式编程的理论基础是Lambda演算，其本身是一种数学的抽象而不是编程语言。另一个组合子逻辑是比它更加古老和基础的数学根基。两者都是为了更好的表达数学基础才被开发的。[1]

于20世纪50年代后期，John McCarthy在麻省理工学院，开发了早期的函数式语言例如Lisp，运行在大型IBM主机（IBM700/7000系列）上。[2]Lisp最早引入了函数式的很多特性，最开始的lisp是多范型语言，并且随着新的范型的发展，越来越多的编程风格得到了支持。后来发展出来的方言比如Scheme，Clojure，和分支语言比如Dylan和Julia等，试图简化Lisp，使它围绕一个函数式核心，而Common Lisp旨在保留并更新它所替代的各种更早先lisp方言的那些范型特征。[3]

而于1956年发明的IPL语言，一般被认为是第一个基于计算机的函数式编程语言。[4] 它是一种用于操纵符号列表的汇编式语言。它有一个生成器的概念，相当于一个接受函数作为参数的函数，并且，由于它是汇编级语言，代码可以是数据，因此IPL可以被视为具有更高阶函数。但是，它在很大程度上依赖于改变列表的结构和类似的指令式编程特征。也就是说，并不是完全的现在所谓的函数式编程。

在20世纪60年代早期，Kenneth E. Iverson开发了APL ，在他1962年出版的《A Programming Language》[5]一书中有介绍。 APL给John Backus的FP提供了巨大的影响。在20世纪90年代早期，Iverson和Roger Hui创造了J语言。在20世纪90年代中期，以前曾与Iverson合作过的Arthur Whitney创建了K语言，后者在金融行业中与其衍生出来的Q语言一起被商业化使用。

1977年John Backus在他的图灵奖颁奖演讲《可以从冯·诺依曼式的编程风格中解放出来的程序设计和函数式风格及其程序代数》中，展示了他提出的FP[6]。他将函数式编程定义为通过“组合形式”以分层方式构建，允许“程序代数”; 在现代语言中，这意味着函数式程序应遵循复合性原理。Backus的论文推广了函数式编程的研究，虽然它强调的是函数级编程而不是现在所说的lambda演算风格。

1973年爱丁堡大学的Robin Milner发明了ML语言，它的语法受到了ISWIM的启发。同年，David Turner在圣安德鲁斯大学开发SASL语言，它基于了ISWIM的应用式子集[7]。在1976年，Turner重新设计并重新实现它为惰性求值语言[8]。在20世纪70年代的爱丁堡，Burstall和Darlington开发了NPL语言。[9] NPL基于Kleene递归方程 ，并在他们的程序转换工作中首次引入。[10] 然后Burstall、MacQueen和Sannella结合了来自ML的多态类型检查，从NPL派生出了Hope语言。[11]ML最终发展成几种语言，其中最常见的是OCaml和Standard ML。

在20世纪70年代，Guy L. Steele和Gerald Jay Sussman开发了Scheme，如有影响力的“Lambda论文集”和经典的1985年教科书《计算机程序的构造和解释》中所描述的那样。Scheme是使用词法作用域和尾调用优化的第一个Lisp方言，将函数式编程的影响力提升到更广泛的范围，让更多的编程语言社区接触到它们。

在20世纪80年代，Per Martin-Löf开发了直觉类型论（也称为构造类型论），它将函数式编程与表现为类型依赖的数学证明联系起来。这导致了交互式定理证明的新方法的产生，并影响了后续的函数式编程语言的发展。David Turner开发的惰性求值函数式语言Miranda最初出现在1985年，採用來自ML與Hope语言的概念，作為他先前所設計的SASL等语言的後繼者。Miranda对后来的Haskell有很强的影响，由于它是专有软件，所以Haskell社区于1987年开始达成共识，以形成函数式编程研究的开放标准，对标准的实现自1990年以来一直在进行中。

最近，它在基于CSG几何框架构建的OpenSCAD语言的参数CAD中得到了应用，虽然它无法区分左值和右值，导致了不熟悉函数式编程的用户混淆。 [12]

• Why Functional Programming Matters 页面存档备份，存于