Shameless plug: If you know OCaml, then I wrote this tiny implementation of Hindley-Milner[0] for a tiny functional language. It's (hopefully) very well commen

Shameless plug: If you know OCaml, then I wrote this tiny implementation of Hindley-Milner[0] for a tiny functional language. It's (hopefully) very well commented, so it should clarify a bunch of concepts for newcomers. [0] - https://github.com/prakhar1989/type-inference https://github.com/prakhar1989/type-inference