收集《The Calculi of Lambda-Conversion》经典名句点亮生活照亮心灵
函数的概念在数学中是基础的，而λ演算提供了一种形式化这一概念的方法。
λ演算是一种表示函数及其应用的形式体系。
λ演算的基本概念是函数，被视为一种对应规则。
λ演算本质上是一种纯粹抽象的函数理论。
函数是一种对应规则，通过它当给定任何东西（作为参数）时，可以获得另一个东西（该参数的函数值）。