TypeScript
Uso de intersection types para combinar contratos, modelar valores que cumplen varias estructuras y reconocer conflictos entre propiedades incompatibles.
Un exige que un valor cumpla varios contratos al mismo tiempo.
type AuditedProduct = Product & Audited;type Entity = {
id: string;
};
type Timestamped = {
createdAt: Date;
updatedAt: Date;
};
type Product = Entity & Timestamped & {
name: string;
price: number;
};A & B contiene valores que pertenecen a ambos tipos.
type Impossible = string & number;No existe un valor ordinario que sea string y number a la vez, por lo que el resultado se reduce a never.
type First = {
value: string;
};
type Second = {
value: number;
};
type Combined = First & Second;Combined["value"] termina como never. El tipo no elige una de las propiedades ni las convierte en unión.
const combined = {
...first,
...second,
};En JavaScript, la propiedad de second sobrescribe a la de first.
type Combined = First & Second;En el nivel de tipos, ambas restricciones deben cumplirse simultáneamente. No modelan exactamente la misma operación.
type WithLogging<T> = T & {
log(): void;
};function attachLogging<T extends object>(
value: T,
): WithLogging<T> {
return Object.assign(value, {
log() {
console.log(value);
},
});
}Intersecar firmas puede comportarse como un conjunto de overloads.
type Formatter =
((value: number) => string) &
((value: Date) => string);La implementación debe soportar ambas llamadas.
interface Product extends Entity, Timestamped {
name: string;
}type Product = Entity & Timestamped & {
name: string;
};Ambas pueden componer objetos, pero interfaces detectan conflictos durante la extensión de forma más directa, mientras intersections pueden producir propiedades never que aparecen después.
type Value = (A | B) & C;Conceptualmente equivale a valores que son C y además A o B. Conditional types pueden distribuir transformaciones sobre unions, pero una intersection normal no siempre se muestra expandida de manera intuitiva.
function addId<T extends object>(value: T): T & { id: string } {
return {
...value,
id: crypto.randomUUID(),
};
}El resultado conserva la forma de T y añade id.
declare const userIdBrand: unique symbol;
type UserId = string & {
readonly [userIdBrand]: "UserId";
};La intersección añade una marca estática a un string. Se estudiará en la nota de branded types.
Un tipo con diez intersections puede ser difícil de leer y producir errores complejos.
type Service = A & B & C & D & E;Agrupa conceptos relacionados y nombra resultados intermedios.
type RequestContext = {
requestId: string;
};
type Authenticated = {
user: User;
};
type AuthenticatedContext =
RequestContext & Authenticated;A & B exige A y B simultáneamente.¿Por qué { value: string } & { value: number } no produce { value: string | number }?
Porque la propiedad debe cumplir ambas restricciones a la vez. Un valor tendría que ser string y number simultáneamente, por lo que el tipo resulta never.
Narrowing y control flow analysis explica cómo el checker reduce unions a partir del código.