3 ms·
As the sibling comment mentioned, both Ocaml and Haskell use this kind of type inference. Search for Hindley Milliner type system.
by the_duke 4y ago
As the sibling comment mentioned, both Ocaml and Haskell use this kind of type inference.
Search for Hindley Milliner type system.
- wk_end 4y agoThis is far beyond Hindley-Milner (as are Ocaml and Haskell), which is pretty primitive in-and-of-itself.