Hindley-Milner ·
λx. x + 1
un
seel
.com · Algorithm W · constraints · unification · principal type Int → Int
Expression
λx. x + 1
Constraints
0
Stage
expression ready
Type variable α
Concrete type Int
Constraint
Substitution
▶ Play
←
→
🔇 Unmute
Reset
Un
seel
.com · Hindley-Milner