Type inference in Java does not make it modern type-right language. Java is distinctly a language of the late XX Century and will stay this way despite all modernization efforts.