I think this is just regular type unification in Hindley-Milner type systems? | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		tiziano88 on Feb 5, 2018 \| parent \| context \| favorite \| on: Return type polymorphism in Haskell I think this is just regular type unification in Hindley-Milner type systems?

jez on Feb 5, 2018 [–]

It’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).

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact