◎類型
(1)[type;pattern]
(2) 由各特殊的事物或現象抽出來的共通點
(3) 邏輯演算中關于主目的不可兼的分類譜系之一
類型（type）以及類型系統的起源以及研究與發展是獨立于OOP的。早在五十年代的FORTRAN語言編譯器實現中，就已經采用類型系統作為類型檢查的一種手段。廣義的類型一般被定義為一種約束，也就是一種邏輯公式。而在對類型的研究過程中產生多種方法，比如【C&W 1985】等。而代數方法（algebraic approach）是一種非常好的建立類型的形式化規范的方法。代數中的一個類型對應于一系列元素，在它們之上定義代數操作。同時在此基礎上二階λ演算已經被用于繼承和模板所支持的模型。在上面兩種方法中，類型被認為是一系列滿足確定約束條件的元素，更抽象的方式可以把一個類型當作規定一個約束條件，如果我...查看百科
由各種具有共同特征的事物或現象所形成的種類。
如：「由于每個導演的創作意念各有不同，因而電影的類型也就有了多元化的發展。」