Como as instruções de declaração de tipo para variáveis simples afetam a legibilidade de uma linguagem, sendo que algumas linguagens não as exigem

Um recurso popular em linguagens de programação modernas chamado inferência de tipo tem como objetivo deixar o código menos verboso e sem redundâncias. Veja uma comparação entre Java e Kotlin:

Java <10

HashMap<String,Integer> x = new HashMap<String,Integer> ();

Java +10:

var x = new HashMap<String,Integer>();