Estas são ferramentas de programação em nível de tipo do TypeScript — elas calculam novos tipos a partir dos existentes.
Tipos mapeados — transforme cada propriedade
Um tipo mapeado itera sobre as chaves de um tipo e transforma cada uma:
<T> = { [K keyof T]: T[K] };
<T> = { [K keyof T]?: T[K] };
{ : ; : ; }
= <>;
[K in keyof T] faz um loop sobre cada chave K; T[K] é o tipo de valor dessa chave. É assim que Partial, Readonly e Required são implementados. Você também pode remapear chaves e adicionar modificadores (-readonly, -? os removem).
type IsString<T> = T extends string ? "yes" : "no";
type A = IsString<string>; // "yes"
type B = IsString<number>; // "no"
T extends U ? X : Y é um if/else em nível de tipo. Com infer você pode extrair tipos dentro da condição:
type ElementOf<T> = T extends (infer U)[] ? U : never;
type E = ElementOf<string[]>; // string
// Make only the function-valued properties optional
type PartialMethods<T> = {
[K in keyof T]: T[K] extends Function ? T[K] | undefined : T[K];
};
Os tipos mapeados também distribuem sobre uniões em condicionais, permitindo transformações poderosas.
Tipos mapeados e condicionais permitem que as bibliotecas expressem relações de tipo precisas — eles implementam os tipos utilitários, potencializam bibliotecas de formulário/validação, construtores de consulta ORM e clientes de API que inferem formas de resposta.
São avançados, mas compreendê-los explica como o sistema de tipos do TypeScript pode ser tão expressivo, e permite que você construa transformações de tipo reutilizáveis em vez de escrever variantes à mão.