Lambda演算（二）归约！归约！归约！

（一）

这里先不列出λ项的正式定义，只记住λ表达式语义上的构造方式为：

1. x

一个单独的变量名是一个λ项表达式；

2. (λx.M)

该λ表示一个函数。 其中 M 是这个函数的函数体，M 自己也是一个 λ项。

除了 x 以外，M 中可能还有其余变量名，λ 这个符号用于指示函数体 M 的参数为 x。

了便于理解，能够将 M 看做函数体，x 看做形参，即变量名。

 

例如：λx.x+3 即表示一个函数 f(x) = x+3，该函数会返回x与3相加的结果

要注意的是，我这里的写法并不规范，在λ表达式中，二元运算符是做为前缀的。x+3 应该写做 (+ x 3)。因此这个表达式的正规写法是 λx.(+ x 3)。至于为何，咱们以后再讲。

3. (M N)

其中 M，N 均为λ项表达式。

若是 M 自己是一个函数，咱们说将函数 M 应用于 N。若是 M 不是函数，不接受参数，N 将在求值的过程当中被忽略。

例如：（λx.(+ x 3) 4），其中M为表达式 λx.x+3，N 为 4。这个表达式表示将函数应用于 4，即f(4) 

 

因此一个典型的λ表达式具备以下形式：

 (λx.M) N，为了方便去掉括号写做 λx.M N

 

其中 M 是函数体，x 能够看做形参，即变量名， N 能够看做实参，即变量值。

 

函数自己也能够做为参数，例如（λx.x）（λx.(+x 3)),  表达式左边就是一个函数，这个函数将返回它本身的参数，将这个函数应用于咱们以前说的函数 f，参数是 f，那么这个函数将返回 f。

 

如此一来，第一种形式的λ表达式表明一个变量；

第二种表达式表明一个函数；

第三种表达式则表明将函数应用于一个值，即一次函数调用。

 

（二）归约

第一种表达式的值即它自己；

第二种表达式的值表示这个函数自己；

所以，在讨论求值时，咱们只关心第三种，即将一个函数应用于另外一个λ表达式时，如何计算它的值。

 

如上所述，λ表达式的应用等效于一次函数调用。咱们知道，调用函数的时候，会将全部的形参替换用实参的值，并返回计算结果。所以，咱们说在表达式 λx.M N 中，函数体 M 里的 x 与表达式 N 绑定，M 中剩下未绑定的变量则是自由变量。

 

对 λx.M N 进行求值时，M 中全部的 x 都将被替换为 N。这一过程称为归约，归约后获得简化的λ表达式，能够进一步归约直至没法再归约，此时的表达式就是对原表达式进行求值的结果。

 

考虑一个函数 f(x)=x+3，写做λ表达式就是 (λx.(+x 3))。

如前所述，当咱们想计算 f(4) 时，将函数应用于 4，表达式为 λx.(+ x 3) 4。

按照归约的法则，函数体 (+ x 3) 中的 x 被 4 替换，函数表达式变为 (+ 4 3)，结果为 7。

 

考虑另外一个函数 g(y)=y*2，λ表达式 λy.(* y 2)。

若是咱们想将函数 g 应用于 f(4) 的计算结果，即 g(f(4))，咱们能够将 g 的λ表达式应用于上述表达式，即 λy.(* y 2)  (λx.(+ x 3) 4)

 

而后咱们进行归约，这里有两种归约顺序。

 

一种是同以前同样，先计算右边表达式的值，即归约为 λy.(* y 2) 7。

而后将函数体 (* y 2) 中的 y 替换为 7，获得 (* 7 2)。

最终结果是 14。

 

另外一种归约顺序是先计算最外层的应用，即将y替换为右边的表达式(λx.(+ x 3) 4)，获得归约后的表达式(* (λx.(+ x 3) 4) 2)。

再归约内层的应用，替换 x 获得 (* (+ 4 3) 2)。

最终结果为(* 7 2)=14。

 

在这个例子中，不一样的归约顺序得出了相同的结果，然而，这并非广泛现象。这里面暗藏了一个计算机程序中常见的概念：做用域。