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

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

Search: