Benutzer-Werkzeuge

Webseiten-Werkzeuge


glossar:typsystem

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen gezeigt.

Link zu dieser Vergleichsansicht

glossar:typsystem [2017/09/26 10:20] (aktuell)
Zeile 1: Zeile 1:
 +====== 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)