摘要： 1. 柯里化（Currying） 柯里化就是把一个多参数的函数转化为单参数函数的方法。类似于复合函数。 现在有两个输入值xy对应一个函数f (x , y)，怎么让函数F一开始只接受一个值呢？ 我们可以先定义一个 F1 = λx.F2， 然后令 F2 = λy.f (x , y) 完成柯里化。 2. 阅读全文

摘要： 1. 什么是λ演算 (Lambda Calculus)？ λ演算是数学家邱奇（Alonzo Church）在20世纪30年代发表的一种计算模型，以变量绑定和替换的规则，每个输入参数用一个字母 λ (lambda)来表示，研究函数如何抽象化定义，函数如何被应用以及递归，最终形成的一套函数化计算规则，被 阅读全文