第二章¶

强类型 strong type

静态类型 static type

自动推导 automatically infer

类型正确 well type

类型不正确 ill type

类型推导 type inference

列表 list

元组 tuple

表达式 expression

陈述 statement

分支 branch

严格求值 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

部分应用 partial application

部分函数 partial function

全函数 total function

部分函数应用 partial 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

第八章¶

字符类 character class

多态 polymorphism

第十五章¶

提升 lift

类型签名 type signature

锯齿化 staircasing

捆绑表达式 bind expression

短路 short circuit

拆分函数 split function

单线 one-liner

多参数类型类 MultiParamTypeClasses

超类 superclass

功能依赖 functional dependency

第十七章¶

产生 yield

终结器 finalizer

可重入 reentrant

编译指示 pragma

解引用 dereference

类型化的 typed

空元 nullary

托管的指针 managed pointer

空结尾 null-terminated

单子化的 monadic

第十八章¶

monad变换器 monad transformer

monad栈 monad transformer stack / monad stack

下层monad underlying monad

派生 derive / deriving

类型类 typeclass

抬举 lift

第十九章¶

错误处理 error handling

惰性求值 lazy evaluation

第二十四章¶

求值策略 evaluation strategy

第二十五章¶

性能剖析 profiling

消耗集中点 cost centre

热点 hot spot

内存分配 allocations

编译指示 pragma

顶层函数 top level function

标志 flag

节点 node

核心语言 Core

未封装数据类型 unboxed data types

基本数据类型 primitive data types

范式 normal form

弱首范式 weak head normal form

融合 fusion

第二十六章¶

布隆过滤器 Bloom Filter

网络流量整形 traffic shaper

可变引用 mutable references

冻结 frozen

第二十八章¶

软件事务内存 Software transactional memory

一致性 consistent

条件变量 condition variable

条件竞争 race condition

死锁 deadlock

程序崩溃 corruption

细粒度 finer-grained

簿记 book-keeping