¿Qué es la 'inferencia de tipos' en Kotlin?

La inferencia de tipos es la capacidad del compilador para determinar el tipo de una variable o expresión sin que el desarrollador tenga que indicarlo explícitamente. El compilador analiza el contexto (por ejemplo, el valor de inicialización) y asigna automáticamente el tipo correspondiente.

Ejemplos:

// Inferencia de tipo para var
var count = 10 // El compilador infiere el tipo Int
// count = "hello" // Error de compilación: no se puede asignar un String a un Int

// Inferencia de tipo para val
val name = "Kotlin" // El compilador infiere el tipo String
// name = "Java" // Error de compilación: val es inmutable

// Inferencia de tipo para expresiones
val sum = 5 + 3.14 // El compilador infiere el tipo Double

Ventajas:

• Reduce la cantidad de código, haciéndolo más legible.
• Disminuye la probabilidad de errores relacionados con la incompatibilidad de tipos al no especificarlos explícitamente.
• Aumenta la productividad en el desarrollo.

Puntos importantes:

• La inferencia de tipos está limitada. En algunos casos (por ejemplo, al declarar una variable sin inicialización), es necesario indicar explícitamente el tipo.
• Las variables declaradas con var pueden cambiar de valor, pero no de tipo, después de la inferencia.

var number: Int // Se requiere indicar explícitamente el tipo, ya que no hay inicialización