Type Inference
Typinferenz leitet Ausdruckstypen automatisch ohne explizite Annotationen ab; der Hindley-Milner-Algorithmus ist das Fundament funktionaler Sprachen.
Zweck
Annotationsaufwand reduzieren und dabei statische Typsicherheit bewahren.
Mechanismus
Hindley-Milner leitet den allgemeinsten Typ (Haupttyp) per Unifikation ab. Algorithmus W erzeugt Typconstraints aus Ausdrücken und unifiziert sie. Rust nutzt eine HM-Variante plus Lifetimes. TypeScript nutzt strukturelle Typinferenz.
Anwendungsfälle
- Funktionale Sprachen
- Typableitung in Rust
- Inferenz in TypeScript