Lambda演算和图灵机一样，是一种支持理论上完备的形式系统，也是理解函数式编程的理论基础。

古老的lisp语言就是基于Lambda演算系统来的，在lisp中，匿名函数也被叫做Lambda表达式，是重要的组成部分。可以把它理解成简化表达式后的匿名函数，实际是一种语法糖。

Lambda表达式的基础语法：（P23）

    1. 必须使用{} 包裹

    2. 当声明了参数部分的类型，且返回值类型支持类型推导，那么变量可以省略函数类型声明（出参的省略声明）(如例中c)

    3. 如果Lambda变量声明了函数类型，那么Lambda的参数部分的类型就可以省略（函数体声明的部分可以省略）

例子：

***

fun lambdaTest() {

//    val test: (a: Int, b: Int) -> Int = { a, b -> a + b }

    fun aaa(x: Int, y: Int): Int = x + y

val test = ::aaa

val ff = test(3, 4)

val aa = aaa(3, 4)

//a

val testOne: (x: Int, y: Int) -> Int ={ x, y-> x + y}

//b

 val testEllipsis: (Int, Int) -> Int ={ x, y-> x + y}

//c

 val testEllipsisMore ={ x: Int, y: Int-> x + y}

}

***

Lambda中常见的省略：

    1. fun(country:Country) 可以省略为 country

        因为编译器会类型推导，所以省略到只有一个代表变量的country。

    2. return 关键字直接省略

    3. 参数和返回值使用->连接（全部位置，函数声明部分，函数体声明部分）

    例：filterCountries(initialCountries,{country->true})

              filterCountries：被调用的方法

               initialCountries：等待被过滤的数据

                {country->true}：lambda省略后的过滤函数

                                            country：即省略方式1

                                            true：即return 关键字直接省略（没写过滤条件直接写了返回值）

                                            ->：即参数和返回值使用->连接

Lambda表达式看起来是表达式的形式，其实质是一个函数，返回的也是函数的返回值（返回计算结果、对象或方法）

函数声明部分与函数体声明（实现）部分使用等号连接（表达式函数形式），函数声明部分若要声明返回值，使用->连接，等号后面函数体部分，返回值也使用->连接

入参的省略：在方法声明的位置省略入参参数名，但保留参数类型，在函数体声明位置首先声明函数入参的对应关系，此种情况，函数体中的入参名称不能省略（与正常声明函数一样，都不能省略）；或在函数参数声明位置将入参声明及返回值声明直接全部省略，在声明函数体位置直接声明，此时方法体声明部分函数入参名称和类型都不可以省略

单个参数的隐式名称