8.1. 术语表¶

alpha（阿尔法）¶

\(\alpha\) （小写）或 \(A\) （大写）这两个希腊字母的名称， 对应字母 "a"。

binding occurrence（绑定出现）¶

绑定出现（binding occurrence）是程序中把变量绑定到其名字（或标识符） 的位置。在现代程序设计语言中，绑定出现与变量声明相同。在 lambda 演算中，比如说变量 \(x\) 的绑定出现，是任何等于 \(\lambda x.\) 的子表达式。

bnf grammar（BNF 文法）¶

BNF 文法就是……

bound（绑定的）¶

在 lambda 表达式中，如果某个变量出现属于该变量某个绑定出现的作用域， 那么它被称为绑定的，或者说它是绑定出现的。

free（自由的）¶

在 lambda 表达式中，如果某个变量出现在该表达式中未被绑定，那么它 被称为自由的，或者说它是自由出现的。

function abstraction（函数抽象）¶

在 lambda 演算中，函数抽象（或 lambda 抽象）是函数定义的同义词， 包含形式参数的名字和函数体。

lambda（拉姆达）¶

\(\lambda\) （小写）或 \(\Lambda\) （大写）这两个希腊字母 的名称，对应字母 "L"。

lambda abstraction（lambda 抽象）¶

函数抽象 的同义词。

scope（作用域）¶

变量作用域 的缩写。

variable capture（变量捕获）¶

当某个自由变量出现由于另一个变量出现的重命名而变为绑定时，就说它 被捕获了。

variable scope（变量作用域）¶

程序中一个变量声明（或绑定出现）的作用域，是程序中所有可以通过该 变量的名字或标识符访问该变量的部分（即代码行）的集合。