Inferencia de Tipo

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:

//sampleStart
val text = "Hello, World"
//sampleEnd

fun main() {
    when (text) {
        is String -> println("It is a String")
        else -> println("It is not a String")
    }
}

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

fun main() {
//sampleStart
    var text = "Hello, World"
    text = 1
//sampleEnd
}

Enlaces de interés:

• Basic Types – Kotlinlang
• Tipos Básicos en Español