畸異型（dysplasia type） 德國精神病學家克雷奇默提出的身體類型之一。是綜合各種體型或比例不對稱的身體特徵。依據克雷奇默的體型論，此種體型有類似於運動員的人格傾向。
基本介紹
- 中文名：畸異型
- 外文名：dysplasia type
類型(type)以及類型系統的起源以及研究與發展是獨立於OOP的。早在五十年代的FORTRAN語言編譯器實現中，就已經採用類型系統作為類型檢查的一種手段。廣義的類型一般被定義為一種約束，也就是一種邏輯公式。而在對類型的研究過程中產生多種方法，比如【C&W 1985】等。而代數方法(algebraic approach)是一種非常好的建立類型的形式化規範的方法。代數中的一個類型對應於一系列元素，在它們之上定義代數操作。同時在此基礎上二階λ演算已經被用於繼承和模板所支持的模型。在上面兩種方法中，類型被認為是一系列滿足確定約束條件的元素，更抽象的方式可以把一個類型當作規定一個約束條件，如果我們規定的約束條件越好，相對應的被定義元素的集合就越精密，所以邏輯公式(logical formulas)就成為描述類型特徵的最合適工具。在這裡，我們不想深入的探究對於類型理論的各種不同的數學模型，我們需要明白的是類型(type)以及類型理論這個在程式語言中經常套用到的概念的內涵是極其豐富的，而其自身理論的發展並非局限於OOP之中，但當兩者相結合的時候就對我們的程式觀產生了巨大的影響。
