engl.: polymorphic
Ein Typsystem heißt polymorph, wenn es Werte bzw. Objekte gibt, die zu mehreren Typen gehören.
Die Form der Polymorphie in Typsystemen mit Subtypen heißt Subtyp-Polymorphie.