engl.: type system
Das Typsystem einer Sprache S beschreibt,
Ein Typsystem heißt polymorph, wenn Ausdrücke zu Werten bzw. Objekten unterschiedlichen Typs ausgewertet werden können.