Respuesta

typealias en Kotlin es un mecanismo para declarar un nombre alternativo para un tipo existente (clase, interfaz, función, tipo genérico, etc.). Se utiliza para:

• Mejorar la legibilidad de tipos complejos y anidados
• Ocultar la especificidad de la implementación
• Facilitar la compatibilidad al cambiar entre versiones de API

Limitaciones:

• typealias no crea un nuevo tipo, solo un segundo nombre (sinónimo), por lo que el compilador no los distingue al tipar.
• typealias no se puede utilizar para agregar nueva funcionalidad.
• Los alias solo se pueden declarar a nivel de archivo, fuera de clases o funciones.

Ejemplo de uso:

typealias ClickHandler = (View, MotionEvent) -> Unit

fun setClickHandler(handler: ClickHandler) {
    // ...
}

val handler: ClickHandler = { view, event ->
    // Lógica de procesamiento
}

Soporte y legibilidad:

• Mejora la claridad de la API cuando el tipo de función es demasiado complejo.
• Permite migrar flexiblemente entre implementaciones internas manteniendo la compatibilidad con clientes externos.

Pregunta capciosa

Pregunta: "¿Son los typealias en Kotlin nuevos tipos desde la perspectiva del compilador y se pueden utilizar para restringir el valor de las variables?"

Respuesta: No, typealias es solo un sinónimo del tipo. No forman un nuevo tipo y no proporcionan ninguna verificación adicional en tiempo de compilación. Todas las funciones, variables y parámetros del tipo typealias son el mismo tipo original.

Ejemplo:

typealias UserId = String
typealias Email = String

fun process(id: UserId) {}
fun process(email: Email) {}

process("abc@def.com") // No hay error — ¡no se puede diferenciar!

Ejemplos de errores reales por desconocer los matices del tema

---

Historia

Usamos typealias para identificadores de diferentes entidades (UserId, OrderId), suponiendo que el compilador los diferenciaría, pero en realidad pasamos valores entre ellos sin errores en tiempo de compilación, lo que llevó a la confusión de la lógica y errores.

---

Historia

Al migrar del API antiguo asignamos expresiones lambda complejas a typealias, pero no indicamos nuevas definiciones en la documentación. Resultado — los programadores no entendían qué significaba el alias (por ejemplo, Loader) y lo aplicaban incorrectamente, lo que resultó en errores en tiempo de ejecución.

---

Historia

En uno de los proyectos redefinimos typealias ViewClickHandler en diferentes archivos con diferentes firmas, creyendo que los alias estarían relacionados globalmente. Al final, durante la autogeneración de documentación hubo duplicación, y al compilar surgió un conflicto de nombres.