Lambda Calculus
Lambda 演算是函数式编程的数学基础：仅函数定义（λx.M）与应用（MN），图灵完备。
用途
理解函数式编程的理论基础与计算模型。
机制
三规则：变量 x、抽象 λx.M（定义函数）、应用 MN（调用函数）。β 归约（(λx.M)N → M[x:=N]）为计算。α 转换重命名约束变量。Church 编码用 lambda 表示数据。
用例
- 函数式编程
- 计算理论
- 语言基础
Lambda 演算是函数式编程的数学基础：仅函数定义（λx.M）与应用（MN），图灵完备。
理解函数式编程的理论基础与计算模型。
三规则：变量 x、抽象 λx.M（定义函数）、应用 MN（调用函数）。β 归约（(λx.M)N → M[x:=N]）为计算。α 转换重命名约束变量。Church 编码用 lambda 表示数据。