Wat zijn conditional en mapped types?

Question

Accepted Answer

Dit zijn de **type-level programming** tools van TypeScript — zij berekenen nieuwe types uit bestaande. ## Mapped types — transformeer elke property Een mapped type itereert over de keys van een type en transformeert elk: ```ts type ReadonlyAll = { readonly [K in keyof T]: T[K] }; type Optional = { [K in keyof T]?: T[K] }; interface User { id: number; name: string; } type RO = ReadonlyAll; // { readonly id: number; readonly name: string } ``` `[K in keyof T]` loopt over elke key `K`; `T[K]` is het value type van die key. Dit is hoe `Partial`, `Readonly`, en `Required` worden geïmplementeerd. Je kunt ook keys remappen en modifiers toevoegen (`-readonly`, `-?` verwijdert ze). ## Conditional types — vertakking op basis van een voorwaarde ```ts type IsString = T extends string ? "yes" : "no"; type A = IsString; // "yes" type B = IsString; // "no" ``` `T extends U ? X : Y` is een type-level if/else. Met `infer` kun je types *extraheren* in de voorwaarde: ```ts type ElementOf = T extends (infer U)[] ? U : never; type E = ElementOf; // string ``` ## Combineren — een echt voorbeeld ```ts // Make only the function-valued properties optional type PartialMethods = { [K in keyof T]: T[K] extends Function ? T[K] | undefined : T[K]; }; ``` Mapped types **distribueren** ook over unions in conditionals, wat krachtige transformaties mogelijk maakt. ## Waarom het belangrijk is Mapped en conditional types stellen libraries in staat om precieze type-relaties uit te drukken — zij implementeren de utility types, voeden form/validation libraries, ORM query builders, en API clients die response shapes afleiden. Zij zijn geavanceerd, maar het begrijpen ervan verklaart *hoe* TypeScript's type system zo expressief kan zijn, en stelt je in staat om herbruikbare type-transformaties te bouwen in plaats van handmatig varianten te schrijven.