Dette er TypeScript's type-level programming-verktøy — de beregner nye typer fra eksisterende.
Mapped types – transformer hver egenskap
En mapped type itererer over nøklene i en type og transformerer hver:
<T> = { [K keyof T]: T[K] };
<T> = { [K keyof T]?: T[K] };
{ : ; : ; }
= <>;
[K in keyof T] løkker over hver nøkkel K; T[K] er den nøkkelen sin verdityp. Slik implementeres Partial, Readonly og Required. Du kan også kartlegge nøkler på nytt og legge til modifikatorer (-readonly, -? fjerner dem).
type IsString<T> = T extends string ? "yes" : "no";
type A = IsString<string>; // "yes"
type B = IsString<number>; // "no"
T extends U ? X : Y er en type-level if/else. Med infer kan du trekke ut typer inne i betingelsen:
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];
};
Mapped types distribuerer også over unions i conditionals, noe som muliggjør kraftfulle transformasjoner.
Mapped og conditional types lar biblioteker uttrykke presise typeforhold — de implementerer utility types, drivstoff form/validationbiblioteker, ORM query builders og API-klienter som utleder responsformer.
De er avanserte, men å forstå dem forklarer hvordan TypeScript's typesystem kan være så uttrykksfullt, og lar deg bygge gjenbrukbare typeomforminger i stedet for å skrive varianter for hånd.