Variable Binding

释义 Definition

“变量绑定”指在编程语言或形式系统中，把变量名（标识符）与某个值、对象或存储位置（引用）建立对应关系的过程/结果；在逻辑与函数式编程中也常指把变量绑定到某个表达式/项（如参数绑定、模式匹配中的绑定）。不同语言中，绑定可能与作用域、环境、闭包、可变/不可变等概念密切相关。

发音 Pronunciation (IPA)

/ˈvɛriəbəl ˈbaɪndɪŋ/

例句 Examples

Variable binding happens when you assign a value to a name.
变量绑定发生在你把一个值赋给一个名字的时候。

In a lexically scoped language, correct variable binding depends on the environment captured by a closure, not just the most recent assignment.
在词法作用域语言中，正确的变量绑定取决于闭包捕获的环境，而不只是最近一次赋值。

词源 Etymology

variable 源自拉丁语 variabilis（“可变化的”）；bind 源自古英语 bindan（“捆绑、系住”）。在计算机科学语境里，binding 从“捆绑”引申为“建立关联/对应关系”，因此 variable binding 就是“把变量与其含义（值/位置/对象）绑定起来”。

相关词 Related Words

• Scope
• Environment
• Closure
• Identifier
• Assignment
• Reference
• Parameter
• Lambda
• Substitution
• Unification

文学与著作 Literary Works

• Structure and Interpretation of Computer Programs（《计算机程序的构造和解释》）——讨论环境模型与名字/值的绑定关系。
• Types and Programming Languages（《类型与程序语言》）——在λ演算与类型系统中系统阐述变量与替换/绑定。
• The Little Schemer（《小小谢默》）——以Scheme为背景讲解作用域与变量绑定等核心概念。
• Programming Language Pragmatics（《程序设计语言实践之路》）——覆盖多种语言机制中的绑定、作用域与实现策略。