3 ms·
Local inference isn't just unification. In particular, most local inference algorithms are designed to work with subtyping, which doesn't work in ML-like type s
by samth 13y ago
Local inference isn't just unification. In particular, most local inference algorithms are designed to work with subtyping, which doesn't work in ML-like type systems.
- anaphor 13y agoTrue, I didn't see any mention of subtyping on there but since it's PHP I guess they have to deal with it somehow.
- DeGuerre 13y agoI assume that "local inference" means, in practice, "no let-polymorphism". That's what causes most of the headaches with extensions to Hindley-Milner (including the undecidability of subtyping).