Hindley Milner is quite elegant, but as applied in languages it becomes a quite different beast (OCaml etc, yikes) But also thanks to that detour, this article

Hindley Milner is quite elegant, but as applied in languages it becomes a quite different beast (OCaml etc, yikes) But also thanks to that detour, this article is a nice read on OCaml in particular: http://okmij.org/ftp/ML/generalization.html http://okmij.org/ftp/ML/generalization.html