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