Benutzer-Werkzeuge

Webseiten-Werkzeuge


glossar:typsystem

Typsystem

engl.: type system

Bedeutung

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.

Bemerkungen

  • Man unterscheidet Parametrische Polymorphie und Subtyp-Polymorphie.
  • Oft spricht man im Zusammenhang mit der Überladung von Funktions- oder Operatorsymbolen von Ad-hoc-Polymorphie.
glossar/typsystem.txt · Zuletzt geändert: 2017/09/26 10:20 (Externe Bearbeitung)

Seiten-Werkzeuge