type的翻譯是類型。
類型，指包含由各特殊的事物或現象抽出來的***通點的抽象概念；在NET框架中，類型（type）又被稱作組件（component）。通常情況下，應用程序既包括我們自己創建的類型，也包括微軟和其他壹些組織創建的類型。
類型，是編程語言中的壹個很重要的概念，它在強類型語言中尤其重要，比如C語言，C++語言，Java語言中，它定義了壹個變量的內存布局和這個這個變量可以實用的運算符。C和C++開發語言中，基本類型有int、char、double、class等。
類型以及類型系統的起源以及研究與發展是獨立於OOP的。早在五十年代的FORTRAN語言編譯器實現中，就已經采用類型系統作為類型檢查的壹種手段。廣義的類型壹般被定義為壹種約束，也就是壹種邏輯公式。而在對類型的研究過程中產生多種方法。
而代數方法是壹種非常好的建立類型的形式化規範的方法。代數中的壹個類型對應於壹系列元素，在它們之上定義代數操作。同時在此基礎上二階λ演算已經被用於繼承和模板所支持的模型。
在上面兩種方法中，類型被認為是壹系列滿足確定約束條件的元素，更抽象的方式可以把壹個類型當作規定壹個約束條件，如果我們規定的約束條件越好，相對應的被定義元素的集合就越精密，所以邏輯公式就成為描述類型特征的最合適工具。