>>11,14Every static language that isn't frozen in 1980 has this. ML-likes always had type inference, Rust always had type inference, C++ has repurposed auto, C# has var etc.
Java is just really slow at catching up to shit. anus, err := HaxAnus() exists and Go 1 doesn't even have generics.