编程语言原理

Lambda 算术

阅读 A Tutorial Introduction to the Lambda Calculus - The University of Texas at Dallas，了解 Lambda 算术的基本概念：

• 表达式 expression、函数 function、应用 application 的结构。
• 函数应用于表达式，左结合。
• 自由变量：满足下面任一条件
  • 表达式 \(x\)：单变量表达式自由
  • 函数 \(\lambda \text{<name>}.\text{exp}\)：\(\text{<name>}_1 \neq \text{<name>}\) 且在 \(\text{exp}\) 中自由
  • 应用 \(E_1 E_2\)：\(E_1\) 或 \(E_2\) 中自由