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.

• Subtyp-Polymorphie erlaubt es insbesondere, inhomogene Listen zu verwenden, d.h. Listen mit Element unterschiedlichen Typs.