提升复用代码的潜在价值，型别系统逐渐允许多态性：在具有多态性的语言中，程式设计者只需要实作如列表或词典的资料结构一次，而不是对使用到它的元素的每一个型别都规划一次。基于这个原因，电脑学家也称使用了一定的多态性的方法为泛型程式设计。型别理论的多态性基础与抽象化、模组化和（偶尔）子型别有相当密切的联系关系。
推断型别.推断型别（鸭子类型，Duck typing）最初是由Dave Thomas在Ruby社群中提出的，推断型别用了这个论证法「如果它像什么，而且其它地方也像什么，那么它就是什