地，可以用匿名的形式重新写为：第二个简化是λ演算只使用单一个参数输入的函数。如果普通函数需要两个参数，例如formula_6函数，可转成接受单一参数，传给另一个函数中介，而中介函数也只接受一个参数，最后输出结果。例如，可以重新写成：这是称为柯里化的方法，将多参数的函数转换成为多个中介函数的复合链，每个中介函数都只接受一个参数。将formula_6函数应用于参数(5,2)，直接产生结果而对于柯里化转换版的评估，需要再多一步：得出相同结果。
lambda演算.la