Benutzer-Werkzeuge

Webseiten-Werkzeuge


glossar:typinferenz

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen gezeigt.

Link zu dieser Vergleichsansicht

glossar:typinferenz [2014/09/24 16:43]
glossar:typinferenz [2014/09/24 16:43] (aktuell)
Zeile 1: Zeile 1:
 +====== Typinferenz ======
 +//engl.:// **type inference**
 +===== Bedeutung ======
 +Typinferenz bedeutet das Ableiten der Typannotation für Ausdrücke aus den gegebenen Deklarationsinformationen.
 +
 +===== Bemerkungen =====
 +  * In Programmiersprachen mit parametrischem Typsystem kann Typinferenz sehr komplex sein.
  
glossar/typinferenz.txt · Zuletzt geändert: 2014/09/24 16:43 (Externe Bearbeitung)