译名表
下表列出本书专有名词及其翻译，并对有疑义者略加说明。
Abstract data type (ADT) | 抽象数据类型 |
Abstract syntax tree | 抽象语法树 |
Abstract syntax | 抽象语法 |
Abstract type | 抽象类型 |
Abstraction boundary | 抽象边界 |
Activation record | 活跃记录表 |
Actual parameter | 实际参数，简称实参
（同 argument） |
Advertise | 公布 |
Alternation | 并联 |
Analyzer | 分析器 |
Ancestor | 祖先 |
Antecedent | 前件 |
Application expression | 调用表达式 |
Apply | 应用 |
Argument | 实参（文中有时也用这一术语泛
指参数） |
Association-list | 关联列表 |
Axiom | 公理 |
Backus-Naur Form | 巴科斯-诺尔范式 |
\beta-reduction | \beta-推导 |
Bigits | 大位 |
Bignum representation | 大数表示法 |
Binary method problem | 二元方法问题 |
Binary semaphore | 二元信号量 |
Binding | 绑定 |
Blocked | 受阻塞 |
Body | 主体（一般指某种语法结构
（let定义、过程定义、类方法定义，甚至整个程序）之中，变量声明包裹起来的、执
行期望动作的部分） |
Bottom-up | 自底向上 |
Bounce | 弹球（参见 trampoline） |
Bound variable | 绑定变量 |
Bound | 绑定 |
Byte code | 字节码 |
Call by name | 按名调用 |
Call by need | 按需调用 |
Call by reference | 按指调用 |
Call by value result | 按值和结果调用 |
Call by value | 按值调用 |
car | 首项，或不译 |
Casting | 强制转换 |
cdr | 余项，或不译 |
Child | 子类 |
Class environment | 类环境 |
Class | |
Client | 客户 |
Closed over, closed in | 闭合于 |
Closure | 闭包 |
Coinduction | 余归纳 |
Concatenation | 串联 |
Conclusion | 结论 |
Concrete syntax | 具体语法 |
Concrete type | 具体类型 |
Consequent | 后件 |
Constructor | 构造器 |
Context | 上下文 |
Continuation-passing style | 续文传递风格 |
Continuation | 续文（这一术语或译作
“继续”，或译作“续延”，或译作“（计算）
续体”；这里译作“续文”，是将程序类比为文章，那么作为程序中任意位
置后续内容的抽象，continuation即为“续文”） |
Contour diagram | 等深线 |
Contract | 合约 |
Contravariant | 逆变的 |
Control context | 控制上下文 |
Coroutine | 协程 |
Covariant | 协变的 |
Critical region | 关键区域 |
Curried | 咖喱式 |
Currying | 咖哩化 |
Data abstraction | 数据抽象 |
De Bruijn index | 德布鲁金索引 |
Declaration | 声明 |
Deduction tree | 推理树 |
Deference | 解引用 |
Defined language | 被定语言 |
Defining language | 定义语言 |
Defunctionalization | 消函 |
Delegate | 委托 |
Denoted value | 指代值 |
Derivation | 推导 |
Descendant | 后代 |
Domain equation | 定义域方程 |
Domain-specific language | 特定领域语言 |
Double dispatch | 双派发 |
Dynamic assignment | 动态赋值 |
Dynamic binding | 动态绑定 |
Dynamic dispatch | 动态分发 |
Dynamic extent | 动态期限 |
Dynamic scoping | 动态定界 |
Dynamic | 动态 |
Eager | 即时 |
Effect | 效果（effect 常常与 side 连用，
通译为“副作用”；在本书中，effect 从不与 side 连用，或许是暗示：
作为程序效果的 effect，不仅仅是一种“副产品”） |
Environment | 环境 |
Exception handling | 异常处理 |
Expanded type | 展开类型 |
Explicit reference | 显式引用 |
Export | 输出 |
Expressed value | 表达值 |
Expression-oriented | 面向表达式 |
Extend | 扩展 |
Extent | 期限 |
External | 外在 |
Extractor | 提取器（提取数据结构中某一部
分内容的过程统称） |
Field | 字段 |
Flowchart program | 流程图程序 |
Fluid binding | 流式绑定 |
For effect | 求效果 |
Form | 形式（在本书中，这一术语和 construct 含
意相近） |
Formal parameter | 形式参数，简称形参 |
Frame | 帧 |
Front end | 前端 |
Frozen | 冻结 |
Generalization | 泛化 |
Generalize | 放宽 |
Global | 全局性 |
Grammar | 语法 |
Grammatical | 语法 |
Hard-coded | 硬编码 |
Host class | 持有类 |
Hypothesis | 假设 |
Ill-typed | 异常类型 |
Implementation language | 实现语言 |
Implementation | 实现 |
Implicit reference | 隐式引用 |
Inclusive or | 涵盖或 |
Infer | 推断 |
Inherit from | 继承于 |
Inheritance | 继承 |
Inherited attribute | 继承属性 |
Inlining | 内联 |
Input expression | 输入表达式 |
Instance variable | 实例变量 |
Instance | 实例 |
Interface polymorphism | 接口多态 |
Interface | 接口 |
Internal | 内在 |
Interpreter recipe | 解释器秘方 |
Invariant | 不变式 |
Iterative control behavior | 迭代性控制行为 |
Kleene Plus | 克莱尼加号 |
Kleene Star | 克莱尼星号 |
Kleene closure | 克莱尼闭包 |
L-value | 左值 |
Lambda calculus | Lambda 演算 |
Lazy evaluation | 懒求值 |
Lexeme | 词素 |
Lexical address | 词法地址 |
Lexical depth | 词深 |
Lexical item | 词条 |
Lexical scoping | 词法定界 |
Lexical specification | 词法规范 |
Lexical variable | 词法变量 |
List | 列表 |
Location | 位置（特指存储器中的位置） |
Member | 成员 |
Memoization | 助记法 |
Message-psasing | 消息传递 |
Metacircular interpreter | 自循环解释器 |
Method name | 方法名 |
Method var | 方法变量 |
Method | 方法 |
Module definition | 模块定义 |
Module procedure | 模块过程 |
Module | 模块 |
Multiple inheritance | 多继承 |
Mutable | 可变的 |
Mutex exclusion, mutex | 互斥锁 |
Mutually recursive | 互递归 |
Name mangling | 名称混淆 |
Natural parameter passing | 自然式传参
（相对于以 “call by” 开头的几种参数传递机制） |
Object-oriented programming | 面向对象编程 |
Object | 对象 |
Observer | 观测器 |
Occurrence check | 验存 |
Occur free | 自由出现 |
Offer | 提出 |
Opaque type | 模糊类型 |
Operand position | 操作数位置 |
Operand | 操作数 |
Operator | 操作符 |
Overloading | 重载 |
Override | 覆盖 |
pair | 序对 |
Parameterized module | 参数化模块 |
Parent | 父类 |
Parser | 解析器 |
Parsing | 解析 |
Polish prefix notation | 波兰前缀表示法 |
Polymorphic | 多态 |
Pool | 池（特指线程池） |
Pre-emptive scheduling | 抢占式调度 |
Predicate | 谓词 |
Prefix list | 前缀列表 |
Private | 私有的 |
Procedural | 过程式 |
Procedure | 过程（文中使用 procedure 表
示编程语言中的函数；使用 function 时，一般表示数学中的函数，这里将前者译作
“过程”，以示区别） |
Production | 生成式 |
Promise | 承诺 |
Propagate | 传播 |
Protected | 受保护的 |
Prototype | 原型 |
Pseudo-variable | 伪变量 |
Public | 公有的 |
Qualified | 受限变量 |
Quantum | 量子（即时间片） |
R-value | 右值 |
Ready queue | 就绪队列 |
Record | 记录表 |
Recursive control behavior | 递归性控制行为 |
Reference | 引用 |
Regexp, regular expression | 正则表达式 |
Registerization | 寄存 |
Representation-independent | 表示无关 |
Ribcage | 肋排 |
Rib | 肋骨 |
Rule (of inference) | （推理）规则 |
Runnable | 可运行 |
Running | 在运行 |
Safe | 安全 |
Scanning | 扫描 |
Scheduler | 调度器 |
Scope | 作用域 |
Scoping | 定界 |
Semi-infinite | 半无限 |
Separated list | 分隔表 |
Sequentialization | 序列化 |
Shadow | 遮蔽 |
Share | 共享 |
Signature | 签名 |
Simple interface | 简单接口 |
Simple module | 简单模块 |
Simple variable | 简单变量 |
Single-inheritance | 单继承 |
Sound | 健壮的 |
Source language | 源语言 |
Stack | 栈 |
Statement-oriented | 面向语句 |
State | 状态 |
Static depth | 静深 |
Static environment | 静态环境 |
Static method dispatch | 静态方法分发 |
Static | 静态 |
Storable value | 可存储值 |
Store-passing interpreter | 传递存储器的解释器 |
Store-passing specification | 存储器传递规范 |
Store | 存储器 |
Structural induction | 结构化归纳法 |
Subclass polymorphism | 子类多态 |
Subclass | 子类 |
Subgoal induction | 子目标归纳 |
Subroutine | 子程序 |
Substitution | 代换，代换式（组）（视上下文，这
一术语有时表示类型推导的动作，有时表示动作的结果；表示结果时，有时为单数，
有时为复数） |
Subtype polymorphism | 子类型多态 |
Subtyping | 子类型判定 |
Super call | 超类调用 |
Superclass | 超类 |
Superprototype | 超型 |
Supply, provide | 提供 |
Symbol table | 符号表 |
Syntactic category | 句法类别 |
Syntactic derivation | 句法推导 |
Table | 表（特指哈希表，或与之类似的数据
结构。数据抽象中的 Record 与之类似。） |
Tail call | 尾调用 |
Tail form | 尾式 |
Tail position | 尾端 |
Target language | 目标语言 |
Thawed | 解冻 |
Thread identifier | 线程描述符 |
Thread | 线程 |
Thunk | 值箱 |
Time slice | 时间片 |
Token | 词牌 |
Top-down | 自顶向下 |
Trampoline | 跳床（读者或许对 Microsoft
Windows XP 系统自带的“三维弹球”游戏仍有印象，文中的 trampoline 和
bounce 可以视为这一游戏的类比——或者说，这一游戏生动说明了 trampoline 和 bounce
的作用） |
Trampolining | 跳跃（视语境，有时也将这
一术语直接翻译为跳床） |
Translator | 翻译器 |
Transparent | 透明 |
Type Checking | 类型检查 |
Type Inference | 类型推导 |
Type abbreviation | 类型缩写 |
Type environment | 类型环境 |
Type error | 类型错误 |
Type expression | 类型表达式 |
Type structure | 类型结构 |
Unary representation | 一元表示法 |
Unification | 合一 |
Value declaration | 值声明 |
Value restriction | 值约束 |
Variable aliasing | 变量别名 |
Variable expression | 变量表达式 |
Variable | 变量 |
Variant | 变体 |
Virtual machine | 虚拟机 |
Well-typed | 正常类型 |