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: 2017/09/26 10:20 (Externe Bearbeitung)

Seiten-Werkzeuge