Lambda Calculus

参考：BV1nZ4y1W7yX

1. λ演算来自哪儿？

从计算的角度讲，什么是函数？-->λ演算

函数式计算模型

1. 函数是黑箱子，放进去x和y，输出x+y，你也不知道里面发生了什么，也许他是x*12/12*10000/100/100+y*66/66，输出的值就是x+y，但是也许经历了复杂的运算

 

2. 纯函数pure function，函数没有内在状态

如何定义lambda演算中的函数 ？

 

 这个演算只有三件事情：
1. 变量xyz
2. 用lambda表达式构造函数
3. 将函数作用于数字上

λ演算的用处？

1. 编码！不管用哪一种编程语言，或者是你自创的，都可以用λ演算编码
2. 函数式编程语言的基石
3. 大多数主流编程语言都能用

什么是λ演算？

TRUE or FALSE，如果选择了x就是true，如果选择了y就是false 

NOT反转true和false

Y算符？

参考：BV1pU4y1v7Hj