O que é 'inferência de tipos' em Kotlin?

A inferência de tipos é a capacidade do compilador de determinar o tipo de uma variável ou expressão sem que o programador precise de o indicar explicitamente. O compilador analisa o contexto (por exemplo, o valor de inicialização) e atribui automaticamente o tipo correspondente.

Exemplos:

// Inferência de tipo para var
var count = 10 // O compilador infere o tipo Int
// count = "hello" // Erro de compilação: não é possível atribuir uma String a um Int

// Inferência de tipo para val
val name = "Kotlin" // O compilador infere o tipo String
// name = "Java" // Erro de compilação: val é imutável

// Inferência de tipo para expressões
val sum = 5 + 3.14 // O compilador infere o tipo Double

Vantagens:

• Reduz a quantidade de código, tornando-o mais legível.
• Diminui a probabilidade de erros relacionados com incompatibilidade de tipos ao não os especificar explicitamente.
• Aumenta a produtividade no desenvolvimento.

Pontos importantes:

• A inferência de tipos é limitada. Em alguns casos (por exemplo, ao declarar uma variável sem inicialização), é necessário indicar explicitamente o tipo.
• Variáveis declaradas com var podem mudar de valor, mas não de tipo, após a inferência.

var number: Int // É necessário indicar explicitamente o tipo, pois não há inicialização