engl.: type inference

Typinferenz bedeutet das Ableiten der Typannotation für Ausdrücke aus den gegebenen Deklarationsinformationen.

• In Programmiersprachen mit parametrischem Typsystem kann Typinferenz sehr komplex sein.