強類型 strong type
靜態(tài)類型 static type
自動推導(dǎo) automatically infer
類型正確 well type
類型不正確 ill type
類型推導(dǎo) type inference
列表 list
元組 tuple
表達式 expression
陳述 statement
分支 branche
嚴格求值 strict evaluation
非嚴格求值 non-strict evaluation
惰性求值 lazy evaluation
塊 chunk
代換 substitution
類構(gòu)造器 type constructor
值構(gòu)造器 value constructor
類型別名 type synonym
代數(shù)數(shù)據(jù)類型 algebraic data type
備選 alternative
分支 case
復(fù)合數(shù)據(jù)/復(fù)合值 compound value
枚舉類型 enumeration type
解構(gòu) deconstruction
字面 literal
結(jié)構(gòu)遞歸 structural recursion
遞歸情形 recursive case
基本情形 base case
高階 high-order
公式化 boilerplate
樣板代碼 boilerplate code
訪問器函數(shù) accessor function
折疊 fold
收集器 collection
主遞歸 primitive recursive
部分應(yīng)用 paritial application
部分函數(shù)應(yīng)用 paritial function application
柯里化 currying
組合函數(shù) composition
內(nèi)存泄漏 space leak
嚴格 strict
非嚴格 non-strict
導(dǎo)出 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
軟件事務(wù)內(nèi)存 Software transactional memory
一致性 consistent
條件變量 condition variable
條件競爭 race condition
死鎖 deadlock
程序崩潰 corruption
細粒度 fineo-grained
簿記 book-keeping
更多建議: