Estrechamiento de tipos en TypeScript: uniones, unknown y any

Qué es

Un tipo de unión como string | number indica que un valor es uno entre varios tipos posibles. El estrechamiento (narrowing) es el análisis de flujo de control del compilador: tras una comprobación, el tipo dentro de esa rama se reduce. El manual enumera las comprobaciones que reconoce: typeof x === "string", veracidad, igualdad contra un literal, "kind" in x, x instanceof Date, asignaciones, y predicados de tipo definidos por el usuario (function isFish(p: Pet): p is Fish). Una unión discriminada da a cada miembro una propiedad literal (kind: "circle" | "square"); un switch sobre ella estrecha a un solo miembro, y una vez manejados todos los casos, el tipo restante es never, que es como funcionan las comprobaciones de exhaustividad. any desactiva la comprobación para ese valor y para todo lo que se deriva de él. unknown también acepta cualquier valor, pero «no es legal hacer nada con un valor unknown» hasta que se ha estrechado.

Por qué importa

any se propaga en silencio: un solo tipo de retorno any deja sin comprobar, y sin ninguna advertencia, cada expresión que depende de él. unknown en los bordes (JSON analizado, payloads de mensajes, errores capturados) obliga a que la comprobación ocurra donde entran los datos. Las uniones discriminadas convierten «olvidar manejar la variante nueva» en un error de compilación en lugar de una sorpresa en tiempo de ejecución.

Cómo aplicarlo

• Activar strict, que incluye noImplicitAny; tratar cada any explícito que quede como una excepción documentada, con un comentario que explique el motivo.
• Tipar los datos de frontera como unknown y estrecharlos con un validador o con comprobaciones explícitas; envolver JSON.parse, que devuelve any, en una función que devuelva unknown.
• Modelar los estados como una unión discriminada ({ status: "loading" } | { status: "ok"; data: T } | { status: "error"; error: Error }) en lugar de campos opcionales que puedan contradecirse entre sí.
• Terminar cada switch sobre una unión con una rama default que asigna el valor a una variable de tipo never; así, al añadir una variante, la compilación falla en cada switch sin manejar.
• Escribir un predicado de tipo solo cuando la comprobación en tiempo de ejecución garantiza el tipo; un predicado incorrecto es un any disfrazado.
• En catch (e), tratar e como unknown y comprobar e instanceof Error antes de leer .message.

Trampas

El estrechamiento no sobrevive dentro de callbacks ni a través de llamadas a funciones: if (x.a) list.forEach(() => x.a.b) no compila porque el callback puede ejecutarse más tarde, después de que x.a haya cambiado. El estrechamiento de una propiedad se reinicia con una asignación a ella, pero no con una llamada a función que pudiera mutar el objeto: el compilador asume que el objeto no cambia, una decisión de compromiso deliberada en su análisis de flujo de control. Una aserción de tipo (as Foo) no es un estrechamiento; anula al verificador y debería ser tan poco frecuente como any.