engl.: type system

Das Typsystem einer Sprache S beschreibt,

• welche Typen es in S gibt bzw. wie neue Typen deklariert werden;
• wie den Ausdrücken von S ein Typ zugeordnet wird;
• welche Regeln typisierte Ausdrücke erfüllen müssen.

Ein Typsystem heißt polymorph, wenn Ausdrücke zu Werten bzw. Objekten unterschiedlichen Typs ausgewertet werden können.

• Man unterscheidet Parametrische Polymorphie und Subtyp-Polymorphie.
• Oft spricht man im Zusammenhang mit der Überladung von Funktions- oder Operatorsymbolen von Ad-hoc-Polymorphie.