翻譯約定

第二章

強類型 strong type

靜態(tài)類型 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

代數(shù)數(shù)據(jù)類型 algebraic data type

備選 alternative

分支 case

復合數(shù)據(jù)/復合值 compound value

枚舉類型 enumeration type

解構 deconstruction

字面 literal

結構遞歸 structural recursion

遞歸情形 recursive case

基本情形 base case

高階 high-order

公式化 boilerplate

樣板代碼 boilerplate code

訪問器函數(shù) accessor function

第四章

折疊 fold

收集器 collection

主遞歸 primitive recursive

部分應用 paritial application

部分函數(shù)應用 paritial function application

柯里化 currying

組合函數(shù) composition

內(nèi)存泄漏 space leak

嚴格 strict

非嚴格 non-strict

第五章

導出 export

本地碼 navie code

目標代碼 object code

指令 directive

頂層 top-level

第六章

通用函數(shù) generic function

部分有序 particular ordering

編譯選項 pragma

重疊實例 overlapping instances

身份 identity

單一同態(tài) monomorphism

第十八章

monad變換器 monad transformer

monad棧 monad transformer stack / monad stack

下層monad underlying monad

派生 derive / deriving

類型類 typeclass

抬舉 lift

第八章

字符類 character class

多態(tài) polymorphism

第十九章

錯誤處理 error handling

惰性求值 lazy evaluation

第二十八章

軟件事務內(nèi)存 Software transactional memory

一致性 consistent

條件變量 condition variable

條件競爭 race condition

死鎖 deadlock

程序崩潰 corruption

細粒度 fineo-grained

簿記 book-keeping