翻译约定

第二章

强类型 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