Representa estados complejos con unión/intersección y mejora la seguridad del dominio.
Uniones e intersecciones permiten modelar estados reales del negocio sin caer en booleanos sueltos y objetos ambiguos.
Las uniones discriminadas hacen explícitos los caminos válidos de un flujo y fuerzan manejo exhaustivo.
Las intersecciones son útiles para componer capacidades, pero requieren atención para no crear tipos imposibles.
Bien usadas, estas herramientas convierten lógica condicional frágil en contratos mantenibles.
Modela estados mutuamente excluyentes con una clave discriminante explícita.
Estados como loading/success/error en peticiones son un caso clásico: cada estado exige campos distintos.
Con una propiedad discriminante (status), TypeScript estrecha automáticamente el tipo dentro de cada rama.
Esto elimina accessos inseguros a datos que aún no existen y evita validaciones repetitivas.
Una intersección debe representar suma de capacidades, no mezcla accidental de responsabilidades.
Usa intersecciones cuando una entidad deba cumplir varios contratos simultáneos (por ejemplo, auditable + versionable).
Evita intersectar tipos incompatibles: el resultado puede volverse never implícito en propiedades críticas.
Cuando la composición se vuelve difícil de leer, divide en tipos intermedios con nombres semánticos.
La exhaustividad convierte cambios de producto en errores de compilación accionables.
Si añades un nuevo estado a una unión, el compilador te marca exactamente qué switch o handler debe actualizarse.
Ese feedback estructural evita bugs silenciosos típicos de ramas default demasiado genéricas.
Incorpora checks exhaustivos en flujos core para que el sistema te ayude a evolucionar sin regresiones.
Representa estados complejos con unión/intersección y mejora la seguridad del dominio.
Código del tema: modelado de estados
Modela estados mutuamente excluyentes con una clave discriminante explícita.
Estados como loading/success/error en peticiones son un caso clásico: cada estado exige campos distintos.
Con una propiedad discriminante (status), TypeScript estrecha automáticamente el tipo dentro de cada rama.
Esto elimina accessos inseguros a datos que aún no existen y evita validaciones repetitivas.
Una intersección debe representar suma de capacidades, no mezcla accidental de responsabilidades.
Usa intersecciones cuando una entidad deba cumplir varios contratos simultáneos (por ejemplo, auditable + versionable).
Evita intersectar tipos incompatibles: el resultado puede volverse never implícito en propiedades críticas.
Cuando la composición se vuelve difícil de leer, divide en tipos intermedios con nombres semánticos.
type ContextoTypescriptunionesinterseccionesmedio = {
foco: string;
objetivo: string;
riesgo: string;
};
const contexto: ContextoTypescriptunionesinterseccionesmedio = {
foco: "modelado de estados",
objetivo: "escribir código predecible",
riesgo: "abstraer sin criterio",
};
console.log("Checklist técnico:", contexto);
export {};
La exhaustividad convierte cambios de producto en errores de compilación accionables.
Si añades un nuevo estado a una unión, el compilador te marca exactamente qué switch o handler debe actualizarse.
Ese feedback estructural evita bugs silenciosos típicos de ramas default demasiado genéricas.
Incorpora checks exhaustivos en flujos core para que el sistema te ayude a evolucionar sin regresiones.