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