Patrones

Una página por pregunta. Cada receta compila, cada resultado es el tipo que imprimió el compilador, y cada página dice dónde falla la receta.

Cada receta y cada resultado se compilan al construir el sitio

¿Cómo evito que un UserId se pase donde se esperaba un OrderId, si ambos son solo cadenas?TypeScript es estructural, así que dos alias de string son el mismo tipo. Una propiedad fantasma los hace distintos sin cambiar el valor.Marcar un primitivo
¿Cómo obtengo un error de compilación cuando alguien añade un caso a una unión y olvida gestionarlo?Acota cada caso y asigna lo que quede a never. Cuando la unión crece, lo que queda deja de ser nada y la asignación falla.Hacer exhaustivo un switch
¿Cómo evito que Omit<User, "nmae"> tenga éxito en silencio y no quite nada?El integrado restringe su parámetro de clave a keyof any, que es toda clave que pudiera existir. Restríngelo a keyof T en su lugar.Hacer que Omit detecte erratas
¿Cómo convierto { a: string } & { b: number } en { a: string; b: number } para que los tooltips se lean y las comprobaciones de igualdad pasen?Un mapeo homomórfico recorre cada clave una vez y reconstruye un único objeto. Los modificadores sobreviven; la intersección no.Aplanar una intersección
¿Por qué Object.keys(config) me da string[] en vez de las claves que veo ahí mismo?Porque un valor puede tener más claves que las que su tipo declara, y Object.keys las devuelve todas. Acotar el retorno es una decisión deliberada y local — no el arreglo de un fallo.Obtener claves tipadas de un objeto
¿Cómo acepto un objeto de opciones donde todos los campos son opcionales pero el objeto vacío no vale?Construye una variante por clave donde esa clave es obligatoria y el resto opcionales, y únelas. Cualquier clave suministrada satisface al menos una variante.Exigir al menos una propiedad
¿Cómo leo user.address.city mediante una ruta reutilizable sin perder el tipo del resultado?Genera recursivamente las tuplas de claves válidas y consume una clave cada vez para calcular el valor final.Obtener un valor por una ruta profunda tipada
¿Cómo mantengo cada nombre de evento emparejado con su carga y listener correctos?Usa un mapa de eventos y un parámetro de clave para que el nombre seleccione la carga en ambos métodos.Tipar un emisor de eventos
¿Cómo hago que los datos de éxito solo estén disponibles en la rama de éxito y los errores en la de fallo?Da a cada variante un campo literal compartido. Comprobarlo estrecha el objeto entero, no solo el campo.Modelar estados que se estrechan
¿Cómo permito que quien llama elija entrada y transformación sin escribir argumentos de tipo?Coloca los parámetros de tipo donde los valores los revelan: uno en el elemento del array y otro en el retorno del callback.Inferir un resultado genérico desde un callback
¿Cómo acepto href u onClick pero rechazo objetos que proporcionan ambos?Une las dos formas y añade las claves únicas del otro lado como propiedades opcionales never.Hacer dos formas de props mutuamente excluyentes
¿Cómo acepto una clave de búsqueda rechazando tanto una consulta vacía como una con varias claves?Construye una variante por clave: exige esa clave y prohíbe las demás con never opcional.Exigir exactamente una propiedad
¿Cómo obtengo solo las claves cuyas propiedades son cadenas, funciones u otro tipo elegido?Mapea cada clave a sí misma o a never e indexa el objeto para recoger las supervivientes.Seleccionar claves por su tipo de valor
¿Cómo evito mutaciones bajo el primer nivel en vez de congelar solo el tipo del objeto exterior?Conserva funciones, recorre arrays y mapea cada propiedad del objeto con el modificador readonly.Hacer un objeto profundamente de solo lectura
¿Cómo evito que una unión literal y el array u objeto usado en ejecución se desincronicen?Mantén un valor como fuente de verdad, conserva sus literales con as const y consulta su tipo.Derivar una unión desde datos de ejecución
¿Cómo conservo la relación entre cada clave y su valor al iterar Object.entries?Construye una unión de tuplas clave/valor con un tipo mapeado y encierra la aserción inevitable en un ayudante.Obtener entradas tipadas de un objeto
¿Cómo hago que un ayudante infiera una tupla literal sin exigir as const?Marca el parámetro como const; la inferencia preferirá formas literales readonly frente a arrays y primitivos ampliados.Conservar literales con un genérico const
¿Cómo acepto callbacks que devuelven T o Promise<T> y expongo siempre un resultado predecible?Acepta un valor o promesa, espéralo y describe el resultado aplanado con Awaited.Normalizar un callback síncrono o asíncrono
¿Cómo selecciono una propiedad de cada objeto y conservo su tipo en el array devuelto?Vincula la clave a keyof T y usa acceso indexado para el elemento de retorno.Extraer una propiedad tipada de objetos
¿Cómo indexo una unión discriminada por su kind en vez de extraer miembros repetidamente?Mapea la unión y remapea cada miembro al valor literal de su discriminante.Convertir una unión en mapa de consulta