Inferência de Tipos

Kotlin consegue descobrir automaticamente o tipo de um valor. Isso é chamado de inferência de tipos:

fun main() {
    val name = "Alice"   // Kotlin infere que isto é um String
    val age = 25         // Kotlin infere que isto é um Int
    val price = 9.99     // Kotlin infere que isto é um Double
}

Mas você também pode declarar explicitamente o tipo usando uma anotação de tipo. Você escreve dois-pontos após o nome, seguido do tipo:

fun main() {
    val name: String = "Alice"
    val age: Int = 25
    val price: Double = 9.99
    val isActive: Boolean = true
}

As anotações de tipo são úteis quando:

• Você quer deixar especialmente claro qual é o tipo de um valor

• Você declara uma variável sem um valor inicial

fun main() {
    var score: Int   // Declarada mas ainda não atribuída
    score = 100      // Atribuída mais tarde
}

Sem a anotação de tipo, o Kotlin não saberia qual tipo score deveria ter.