Aprender TypeScript Unión, intersección y estrechamiento de tipos

Los tipos unión e intersección permiten combinar tipos existentes para modelar datos que pueden adoptar múltiples formas o que requieren la fusión de varias estructuras. En este módulo se estudian los tipos unión (A | B), los tipos intersección (A & B) y los tipos literales, que restringen un valor a un conjunto fijo de opciones conocidas en tiempo de compilación.

Se profundiza en las uniones discriminadas (discriminated unions), un patrón que utiliza una propiedad común como discriminante para distinguir de forma segura entre las variantes de un tipo. Además, se analizan las distintas técnicas de estrechamiento de tipos (narrowing) que ofrece TypeScript: guardas con typeof, instanceof, el operador in y guardas de tipo personalizadas. El módulo concluye con los tipos unknown y never, que representan respectivamente el tipo más amplio y el tipo imposible del sistema de tipos.