類型 （技術名詞）

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

類型 （漢語詞語）

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