lambda演算是lambda函数的理论推导。lambda演算对于实际的应用没有太多作用，但是作为实际用途的匿名函数还是很有意义的。编程中提到的 lambda 表达式，通常是在需要一个函数，但是又不想费神去命名一个函数的场合下使用，也就是指匿名函数。
计算机编程中表达式，语句的区别是什么？
表达式是可以被求值的代码，而语句是一段可执行代码。
因为表达式可被求值，所以它可写在赋值语句等号的右侧。
而语句不一定有值，所以像import、for和break等语句就不能被用于赋值。
表达式是由变量、操作符等组成的，能得出一个值。语句是可执行的代码。
在anonymous function中说到lambda函数就是匿名函数：
In several programming languages, anonymous functions are introduced using the keyword lambda, and anonymous functions are often referred to as lambdas or lambda abstractions. Anonymous functions have been a feature of programming languages since Lisp in 1958, and a growing number of modern programming languages support anonymous functions.
函数的四个组成部分：
- 函数名
- 形参
- 函数体
- 返回值
匿名函数从名字来看就是没有函数名的函数。这个时候就要考虑一个问题：
- 如何调用匿名函数？如果实现多个匿名函数如何区分他们？
想到两种调用方式：
- 将匿名函数赋值给变量，通过变量调用。
- 将匿名函数当做形参赋值给调用函数，在调用函数中使用匿名函数
可以将数据（值）赋给变量，那么为什么函数不能赋值给变量？
如果函数能接受另外一个函数作为参数传递进来，或者函数的返回值是一个函数。这就涉及到另外一个概念：高阶函数（higher-order function)
高阶函数的定义：
In mathematics and computer science, a higher-order function (also functional, functional form or functor) is a function that does at least one of the following:
takes one or more functions as arguments (i.e., procedural parameters),
returns a function as its result.
原来1.8以前的Java中是没有匿名函数的概念的。只有匿名类，但是匿名类和匿名函数是有区别的。
Java是强类型的语言，不像javascript。那么如何在Java中实现匿名函数呢？
匿名函数虽然没有函数名但是形参、返回值、函数体都是存在的。而且高阶函数中调用形参函数的入参和返回值都是固定的。不会是任意的函数都能传递进来的。
高阶函数中的形参函数都是有特定函数特征的。
匿名函数的实现只有函数体本身。那么Java中如何实现匿名函数呢？
- 匿名函数只有一个可供调用的函数体
- 其实匿名函数是有特征的。不是任何函数传递到高阶函数中都可以调用。
所以Java中通过接口实现匿名函数。准确上说是函数接口实现匿名函数。函数接口中只有一个可供实现的方法。所以本质上和其他语言的匿名函数是没有区别的。其他编程语言知识看上去没有函数特征，参数传递错了也不报错（比如javascript），但是错了你的计算结果和你预期是有差别的。
lambda函数本质上是匿名函数，但是lambda函数在形式上对匿名函数进行了优化。便于写出更加紧凑的代码结构。
Java通过函数接口的方式实现lambda函数，能很好地兼容以前的代码。Java还是强类型的语言。
Java中的lambda函数不是语法糖，它扩展了Java中的语意。比如lambda函数的实现扩展了匿名函数、高阶函数。
在Java 8里面，所有的Lambda的类型都是一个接口，而被赋给Lambda的”那段代码“，需要是这个接口的实现。
资料：
https://en.wikipedia.org/wiki/Lambda_calculus
