"that's something that should make its way into other languages" It's starting to, to some extent. C#, for example, has had inferred types available since 3.0

"that's something that should make its way into other languages" It's starting to, to some extent. C#, for example, has had inferred types available since 3.0, though it still requires using the "var" keyword when declaring variables.