面向型別程式設計是一種正規化，它涵蓋了面向物件和函式式方法來編寫靜態型別程式碼。此類別的多數程式語言廣泛使用子型別和引數多型性。
本資料介紹了基本概念，其中多數概念來自面向物件和函式式語言，然後繼續解釋在具有強大型別系統的語言中使用的一些更復雜的技術。
面向型別程式設計的可列印版本可用。 (編輯它)
型別和屬性
例項方法
型別方法
受限屬性
函式型別
代理
型別引數
型別級別的“自我”
型別變異
有界型別引數
函子
單子
單子變換器
