3.2　Lambda表达式

Lambda表达式源于Lambda演算。

来自百度百科的定义：Lambda演算可以被称为最小的通用程序设计语言。它包括一条变换规则（变量替换）和一条函数定义方式。Lambda演算之通用在于，任何一个可计算的函数都能用这种形式来表达和求值。因而，它是等价于图灵机的。尽管如此，Lambda演算强调的是变换规则的运用，而非实现它们的具体机器。可以认为这是一种更接近软件而非硬件的方式。