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