函数式编程（functional programming）或称函数程序设计，又称泛函编程，是一种编程典范，它将电脑运算视为数学上的函数计算，并且避免使用程序状态以及易变对象。函数编程语言最重要的基础是λ演算（lambda calculus）。而且λ演算的函数可以接受函数当作输入（引数）和输出（传出值）。
比起指令式编程，函数式编程更加强调程序执行的结果而非执行的过程，倡导利用若干简单的执行单元让计算结果不断渐进，逐层推导复杂的运算，而不是设计一个复杂的执行过程。
函数(数学)
函数 在数学中为两集合间的一种对应关系：输入值集合中的每项元素皆能对应唯一一项输出值集合中的元素。例如实数 x 对应到其平方 x2 的关系就是一个函数，若以 3 作为此函数的输入值，所得的输出值便是 9 。
𝜆 演算
匿名函数 Church 数 Haskell
类型理论 集合理论
数学原理
知乎 - 如何简单清晰地解释哥德尔不完备定理？ https://www.zhihu.com/question/27528796
Comments