類型 （技術(shù)名詞）

• 類型（type）以及類型系統(tǒng)的起源以及研究與發(fā)展是獨立于OOP的。早在五十年代的FORTRAN語言編譯器實現(xiàn)中，就已經(jīng)采用類型系統(tǒng)作為類型檢查的一種手段。廣義的類型一般被定義為一種約束，也就是一種邏輯公式。而在對類型的研究過程中產(chǎn)生多種方法，比如【C&W 1985】等。而代數(shù)方法（algebraic approach）是一種非常好的建立類型的形式化規(guī)范的方法。代數(shù)中的一個類型對應于一系列元素，在它們之上定義代數(shù)操作。同時在此基礎(chǔ)上二階λ演算已經(jīng)被用于繼承和模板所支持的模型。在上面兩種方法中，類型被認為是一系列滿足確定約束條件的元素，更抽象的方式可以把一個類型當作規(guī)定一個約束條件，如果我們規(guī)定的約束條件越好，相對應的被定義元素的集合就越精密，所以邏輯公式（logical formulas）就成為描述類型特征的最合適工具。在這里，我們不想深入的探究對于類型理論的各種不同的數(shù)學模型，我們需要明白的是類型（type）以及類型理論這個在編程語言中經(jīng)常應用到的概念的內(nèi)涵是極其豐富的，而其自身理論的發(fā)展并非局限于OOP之中，但當兩者相結(jié)合的時候就對我們的程序觀產(chǎn)生了巨大的影響。

類型 （漢語詞語）

• 類型，指包含由各特殊的事物或現(xiàn)象抽出來的共通點的抽象概念；在 .NET 框架中，類型(type)又被稱作組件(component)。通常情況下，應用程序既包括我們自己創(chuàng)建的類型，也包括微軟和其他一些組織創(chuàng)建的類型。