細化類型
編輯在類型理論中，細化類型是一個被賦予了謂詞的類型，該謂詞被認為對細化類型的任何元素都是成立的。細化類型在作為函數參數使用時可以表達前提條件，在作為返回類型使用時可以表達后置條件：例如，一個接受自然數并返回大于5的自然數的函數的類型可以寫為.因此，細化類型與行為子類型化相關。
細化類型的歷史
編輯細化類型的概念首次在Freeman和Pfenning的1991年《ML的細化類型》中提出，它為標準ML的一個子集提出了一個類型系統。
該類型系統保留了ML的類型推理的可解碼性，同時仍然允許在編譯時檢測到更多的錯誤。在最近，細化類型系統已經為Haskell、TypeScript和Scala等語言開發。
內容由匿名用戶提供，本內容不代表www.gelinmeiz.com立場，內容投訴舉報請聯系www.gelinmeiz.com客服。如若轉載，請注明出處：http://www.gelinmeiz.com/170804/