# 翻譯約定 ## 第二章 強類型 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