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: 24.09.2014 16:47 (Externe Bearbeitung)
 
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki