er - type inference in ocaml is descendent from ML, which had the feature in the 70s - hell, hindley-milner was published in 1969. This has nothing to do with how recently the language has been developed, it is a simple tradeoff between type safety and developer effort. There is really no room for speculation on a subject that a 15 second visit to wikipedia would clear up.