于这个原因，电脑学家也称使用了一定的多态性的方法为泛型程式设计。型别理论的多态性基础与抽象化、模组化和（偶尔）子型别有相当密切的联系关系。
推断型别.推断型别（鸭子类型，Duck typing）最初是由Dave Thomas在Ruby社群中提出的，推断型别用了这个论证法「如果它像什么，而且其它地方也像什么，那么它就是什么。」在某些程式设计环境中，两个物件可以有相同的型别，即使它们没有什么交集。一个例子是C++中迭代器和指针所拥有的的双重性，两者皆以不甚相同的机制实作并提供一个*