My feeling is that it is not about improvement but democratisation : Ocaml has been around since 1996 and its type inference is stellar. I was shocked when I first touched C and Java after two years of Ocaml.