[nonsince]

Rust, ML, Coq and Haskell have type inference and if those four are known for anything it's reliability and bug-free code.