# 翻译约定 ## 第二章 强类型 strong type 静态类型 static type 自动推导 automatically infer 类型正确 well type 类型不正确 ill type 类型推导 type inference 列表 list 元组 tuple 表达式 expression 陈述 statement 分支 branche 严格求值 strict evaluation 非严格求值 non-strict evaluation 惰性求值 lazy evaluation 块 chunk 代换 substitution ## 第三章 类构造器 type constructor 值构造器 value constructor 类型别名 type synonym 代数数据类型 algebraic data type 备选 alternative 分支 case 复合数据/复合值 compound value 枚举类型 enumeration type 解构 deconstruction 字面 literal 结构递归 structural recursion 递归情形 recursive case 基本情形 base case 高阶 high-order 公式化 boilerplate 样板代码 boilerplate code 访问器函数 accessor function ## 第四章 折叠 fold 收集器 collection 主递归 primitive recursive 部分应用 paritial application 部分函数应用 paritial function application 柯里化 currying 组合函数 composition 内存泄漏 space leak 严格 strict 非严格 non-strict ## 第五章 导出 export 本地码 navie code 目标代码 object code 指令 directive 顶层 top-level ## 第六章 通用函数 generic function 部分有序 particular ordering 编译选项 pragma 重叠实例 overlapping instances 身份 identity 单一同态 monomorphism ## 第十八章 monad变换器 monad transformer monad栈 monad transformer stack / monad stack 下层monad underlying monad 派生 derive / deriving 类型类 typeclass 抬举 lift ## 第八章 字符类 character class 多态 polymorphism ## 第十九章 错误处理 error handling 惰性求值 lazy evaluation ## 第二十八章 软件事务内存 Software transactional memory 一致性 consistent 条件变量 condition variable 条件竞争 race condition 死锁 deadlock 程序崩溃 corruption 细粒度 fineo-grained 簿记 book-keeping