This is correct. The most common algorithm used for type inference is Hindley-Mi... | Hacker News

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

Locke1689 on Nov 13, 2011 | parent | context | favorite | on: Nodejs+Fabric as fast as multi-threaded C++

This is correct. The most common algorithm used for type inference is Hindley-Milner (http://en.wikipedia.org/wiki/Hindley%E2%80%93Milner).

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact