Hindley-Milner Type Inference (2012)
Ocaml use Hindley-Milner type inference. I was taught programming with it and ended up deeply spoiled.I could not understand why most static language required writing so many types that were easy to deduce and why people where saying that not having to write types made dynamic language better.I can count on the finger of my hands the number of times when I needed to write explicit types in Ocaml (my single use case for explicit types in Ocaml was data deserialization).Plus, the compiler is fast.