函数式编程之根-λ表达式(lambda expression)

普通的数学函数如f(x)=x+1，功能是给其参数x加上1。为了将数学函数表示成计算机常用的表达式，可以换一种写法：

各种编程语言，也引入了λ表达式。例如：

C#语言：(x) =>{ return x+1; }

Java语言：(x) ->{ return x+1; }

1. λ表达式的定义

λ表达式极其简洁，由变量、两个抽象符号λ和.(即点)，以及括号( )组成。合法的λ表达式的递归定义如下：

•  变量x是一个λ表达式。
•  函数抽象：W是参数为变量x的λ表达式，则λx.W是λ表达式。这种表达式给出了一个函数的定义：W是函数体，形参就是变量x。
  λx.( x+1)
  λx. λy. ( x+y) ;;;表示 λx. (λy. ( x+y))
•  函数应用：有了f(x)=x+1，自然需要计算f(2)，即给函数一个(实际)参数进行求值。A、B是λ表达式，则 (A B) 也是λ表达式，表示将实参B带入函数A中。

通常，编程语言会提供内置的基本函数，如各种操作符。操作符的应用“是一种”函数应用，从λ表达式的递归定义的角度，“函数应用”规则可以得更直接的一条规则：

• 操作符和λ表达式组成的表达式，是λ表达式。如x+1

下面是一些λ表达式的例子：

(最简单的)x、y、

(函数抽象)λx.x、λx.y、

(函数应用)λx.x y、(x y)、λx. (x y)……

2.λ表达式的特点

从λ表达式的定义，可以引申出它的两个特点：

• 匿名函数。数学函数如f(x)=x+1或λ表达式如λx.( x+1)，描述了一个计算过程；为该函数命名，是程序员的事情。
• 每个函数只有一个输入参数，如λn. λm.λf.λx. ((n f)  (++ m) )。编程时函数可以有一个参数列表，逻辑学家 Haskell Curry证明可以将一个拥有多个参数的函数转化为只有一个参数的多个函数的连续调用，这一转化过程称为对拥有多个参数的函数的currying/柯里化。