[the_duke]

As the sibling comment mentioned, both Ocaml and Haskell use this kind of type inference.

Search for Hindley Milliner type system.

[wk_end]

This is far beyond Hindley-Milner (as are Ocaml and Haskell), which is pretty primitive in-and-of-itself.