强类型 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
monad变换器 monad transformer
monad栈 monad transformer stack / monad stack
下层monad underlying monad
派生 derive / deriving
类型类 typeclass
抬举 lift
错误处理 error handling
惰性求值 lazy evaluation
性能剖析 profiling
消耗集中点 cost centre
热点 hot spot
内存分配 allocations
编译指示 pragma
顶层函数 top level function
标志 flag
节点 node
核心语言 Core
未封装数据类型 unboxed data types
基本数据类型 primitive data types
bang patterns
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