Benutzer-Werkzeuge

Webseiten-Werkzeuge


glossar:typinferenz

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)