强类型 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
字符类 character class
多态 polymorphism
软件事务内存 Software transactional memory
一致性 consistent
条件变量 condition variable
条件竞争 race condition
死锁 deadlock
程序崩溃 corruption
细粒度 fineo-grained
簿记 book-keeping