Pergunto isso porque imagino que ao não declarar o tipo da variável, deixando o Kotlin inferir o tipo dela, aparentemente damos um trabalho a mais para o compilador. Ao declararmos o tipo com "val nomeVariavel: String", por exemplo, já deixamos o compilador previamente ciente do tipo a ser utilizado, sem que necessite "descobrir" o tipo da variável.
Isso é verdade? Se sim, sempre declarar o tipo da variável seria considerado uma boa prática por default, ou o encorajamento dentre os pioneiros da linguagem seria não declarar, porque isso não faz basicamente muita diferença?