Implementierung

let-Polymorphie, Hindley/Damas/Milner

• Inferenzsystem ähnlich zu Rekonstruktion monomorpher Typen mit Aussagen der Form E $\vdash$ X : (T, C)
• Umgebung E ist jetzt partielle Abbildung von Name nach Typschema (nicht wie bisher: nach Typ).
• Bei Typinferenz für let-gebundene Bezeichner wird über die freien Typvariablen generalisiert.
• Dazu Teil-Constraint-Systeme lokal lösen.

Beispiel

let { c = ... }         
in let { g = \ f x -> f (if b c x) } in ..