Respuesta.

Historia de la pregunta: Kotlin fue diseñado originalmente como un lenguaje con una sintaxis concisa pero estrictamente tipada. Para mejorar la legibilidad y reducir la duplicación de código, se implementó una potente inferencia de tipos.

Problema: A veces, declarar el tipo se vuelve innecesario, complicando el código. Sin embargo, la reducción excesiva de tipos lleva a dificultades en la lectura y a la propagación de errores si el compilador no puede inferir el tipo.

Solución: La inferencia de tipos permite que el compilador determine automáticamente la mayoría de los tipos en función de la inicialización o el contexto. Pero la tipificación estricta aún controla la corrección del código.

Ejemplo de código:

val name = "Kotlin" // String, tipo inferido automáticamente
var count = 5         // Int, tipo inferido automáticamente
val items = listOf(1, 2, 3) // List<Int>

// Se requiere declaración explícita de tipo si la inferencia no es posible
val callback: (Int) -> Unit = { println(it) }

Características clave:

El tipo de una variable o expresión puede ser inferido de la inicialización o del contexto de llamada a la función
No siempre es posible inferir el tipo: el compilador requiere una declaración explícita si la expresión es ambiguo
La inferencia de tipos no se aplica a los tipos de retorno de funciones y propiedades públicas: el compilador requiere que se indiquen explícitamente para la estabilidad de ABI

Preguntas capciosas.

¿Es posible no especificar el tipo de retorno de una función pública?

No, si la función es pública, el compilador requerirá una declaración explícita del tipo de retorno para la estabilidad de las interfaces y el soporte de la interoperabilidad con Java.

Ejemplo:

// ¡Error!
public fun compute(x: Int) = x * 2 // Se requiere explícitamente: public fun compute(x: Int): Int = x * 2

¿Qué tipo tiene val x = null?

El compilador no podrá inferir el tipo, porque null no tiene tipo sin contexto. Es necesario declarar el tipo explícitamente:

val x: String? = null

¿Puede la inferencia de tipos funcionar para tipos genéricos complejos durante el procesamiento en cadena de colecciones?

Sí, pero si el tipo no se puede inferir de manera inequívoca (por ejemplo, map transforma tipos), a veces se requerirá especificar el tipo de la variable:

val values = listOf("1", "2").map { it.toInt() } // List<Int>, el tipo será inferido

Errores típicos y antipatróns

Ausencia de un tipo explícito en las funciones API públicas
Sobrecarga de código con tipos implícitos, dificultando la lectura
Error al intentar inferir el tipo al inicializar a través de null

Ejemplo de la vida real

Caso negativo

En el proyecto, todas las variables se declaran sin especificar el tipo, lo que dificulta la navegación y comprensión del código para otros desarrolladores o nuevos empleados.

Ventajas:

Menos código
Más rápido para escribir y refactorizar

Desventajas:

Difícil de leer y mantener
Fácil de cometer errores al cambiar la inicialización

Caso positivo

Dentro de las funciones, los tipos de las variables se infieren automáticamente, pero en todas las API públicas siempre se especifica explícitamente el tipo de retorno y los tipos de parámetros.