La inferencia de tipo (type inference) quiere decir que no estamos obligados a decirle a la variable de que tipo es ya que puede deducirlo por si misma.

En Java estamos obligados a indicar siempre de que tipo es una variable, por ejemplo una String sería del siguiente modo:

String text = "Hello, World"

Mientras que en Kotlin sería así gracias a la inferencia de tipo:

El tipo de variable se define una vez, por lo que si tratas de cambiar el tipo de la variable, obtendrás un error:


Enlaces de interés:

Menú