3 ms·
I think this is just regular type unification in Hindley-Milner type systems?
by tiziano88 9y ago
I think this is just regular type unification in Hindley-Milner type systems?
- z1mm32m4n 9y agoIt’s more than just HM type inference. This relies on particular on ad-hoc polymorphism (many languages with HM type inference only have parametric polymorphism).