Lambda Abstraction

定义 Definition

lambda abstraction（λ-抽象）是λ演算与函数式编程中的核心概念，指用 λ 引入一个参数（变量），从而构造一个函数表达式的过程或结果。形式上常写作：λx. E，表示“一个以 x 为参数、返回表达式 E 的函数”。（在不同语境下也可泛指“把某个表达式抽象成以参数为输入的函数”这一思想。）

发音 Pronunciation (IPA)

/ˈlæmdə æbˈstrækʃən/

例句 Examples

A lambda abstraction defines a function without naming it.
λ-抽象定义了一个不需要命名的函数。

In the lambda calculus, lambda abstraction and application are enough to represent computation, provided we handle variable binding carefully.
在λ演算中，只要谨慎处理变量绑定，λ-抽象与函数应用就足以表示计算。

词源 Etymology

lambda 来自希腊字母 λ（lambda），之所以用它，是因为早期逻辑学家与计算理论研究者在书写“函数/映射”的符号时逐渐约定使用 λ 来标记“函数的参数引入”。abstraction 源自拉丁语 abstrahere（“抽离、提取”），在这里指把表达式中某个自由变量“抽离出来”，转化为函数的参数，也就是“从具体表达式提炼出一般形式”。

相关词 Related Words

• Abstraction
• Anonymous Function
• Binding
• Free Variable
• Function
• Lambda Calculus
• Scope
• Variable

文学/经典作品中的用例 Notable Works

• Alonzo Church, An Unsolvable Problem of Elementary Number Theory（1936）——以λ记法系统化函数表示与可计算性讨论（相关概念核心）。
• Alonzo Church, The Calculi of Lambda-Conversion（1941）——集中阐述λ演算与λ抽象等基本构造。
• Henk Barendregt, The Lambda Calculus: Its Syntax and Semantics（多版）——经典教材，详解λ抽象、变量绑定与语义。
• Harold Abelson & Gerald Jay Sussman, Structure and Interpretation of Computer Programs（SICP）——在函数式思想与过程抽象中广泛使用与解释λ形式（与λ抽象密切相关）。