Diep geneste patronen voor type-inferentie
Pas infer recursief toe om complexe typen af te leiden.
Diep geneste patronen voor type-inferentie is een gratis TypeScript Academy-les op CoddyKit. Dit is les 3 van 4. Je kunt de volledige les hieronder gratis lezen en daarna in de browser praktisch oefenen met een ingebouwde code-editor en een AI-begeleider die 24/7 beschikbaar is. Deze les maakt deel uit van het leertraject TypeScript Academy. Je voortgang wordt gesynchroniseerd op het web en in de CoddyKit-app. De cursus TypeScript Academy bevat in totaal 4 lessen.
Waarom diepe type-inferentie?
Soms ligt het type dat je nodig hebt verborgen binnen meerdere generieke lagen. Met diepe type-inferentie gebruik je recursieve of gekoppelde conditionele typen om het te bereiken.
type DeepUnwrap<T> =
T extends Promise<infer U>
? DeepUnwrap<U>
: T;
type A = DeepUnwrap<Promise<Promise<string>>>; // stringRecursieve conditionele typen
TypeScript 4.1+ ondersteunt recursieve conditionele typen, waarmee je omhullende lagen één voor één kunt afpellen.
type Flatten<T> = T extends Array<infer U> ? Flatten<U> : T;
type B = Flatten<string[][][]>; // stringTypen afleiden uit geneste generieke typen
Je kunt meerdere infer-variabelen in één extends-clausule koppelen om meerdere lagen tegelijk vast te leggen.
type InnerValue<T> =
T extends Map<any, infer V>
? V extends Set<infer S>
? S
: V
: T;
type C = InnerValue<Map<string, Set<number>>>; // numberDiepe eigenschappentypen van objecten
Met recursieve typen kun je objectstructuren doorlopen om diep geneste eigenschappentypen op te halen.
type DeepGet<T, K extends keyof T> =
T[K] extends object ? T[K] : never;
type Nested = { user: { profile: { name: string } } };
type Profile = DeepGet<Nested, "user">; // { profile: { name: string } }Array-elementtypen diepgaand ophalen
Door recursief uitpakken te combineren met arrayverwerking kun je elke diepte van nesting verwerken.
type ElementType<T> = T extends (infer U)[] ? ElementType<U> : T;
type D = ElementType<number[][][]>; // numberStaartrecursie met tupels
Staartrecursieve tupelmanipulatie is een veelgebruikt patroon voor typeveilige pijplijnen en typen voor functiecompositie.
type Last<T extends any[]> =
T extends [...infer _, infer L] ? L : never;
type E = Last<[1, 2, 3]>; // 3Dieptelimieten en praktische overwegingen
TypeScript beperkt de recursiediepte om oneindige lussen te voorkomen. Houd recursie oppervlakkig en overweeg zo nodig een maximale diepte met een diepteteller.
// Deep recursion may hit "Type instantiation is excessively deep"
// Simplify or use branded types to break deep chainsInfer bij verdeling over unies
Wanneer T een unie is, worden conditionele typen verdeeld: elk lid wordt afzonderlijk vergeleken en de resultaten worden samengevoegd tot een unie.
type Unwrap<T> = T extends Promise<infer U> ? U : T;
type F = Unwrap<Promise<string> | Promise<number> | boolean>;
// string | number | booleanResterende tupels afleiden
Patronen voor resterende tupels met infer maken ontleding in kop en staart en variadische typemanipulatie mogelijk.
type Init<T extends any[]> =
T extends [...infer I, any] ? I : never;
type G = Init<[1, 2, 3, 4]>; // [1, 2, 3]Praktijkvoorbeeld: genest API-antwoord
Een genest type voor een API-antwoord kan met gekoppelde infer worden uitgepakt tot het datatype.
type ApiResponse<T> = { data: T; status: number };
type UnwrapApi<T> = T extends ApiResponse<infer D> ? D : T;
type H = UnwrapApi<ApiResponse<{ users: string[] }>>; // { users: string[] }Samenvatting: diepe type-inferentie
Diepe type-inferentie combineert recursieve conditionele typen, meerdere infer-variabelen en structurele patroonvergelijking om typen uit generieke structuren met een willekeurige nestingdiepte te halen.
Korte controle
Wat levert Flatten op als Flatten?
Wat je hebt geleerd
Bij diep geneste type-inferentie gebruik je recursieve conditionele typen en gekoppelde infer-patronen om typen te bereiken die in meerdere generieke omhulsels verborgen zitten. Beperk de recursie om de dieptelimieten van TypeScript niet te overschrijden.
Leer TypeScript met een AI-tutor — gratis
Schrijf echte code en voer die uit in je browser, krijg direct hulp van een AI-tutor die 24/7 beschikbaar is en ga verder waar je gebleven bent op het web of in de app.
- Cursussen
- 101
- Lessen
- 352
Veelgestelde vragen
Is de les “Diep geneste patronen voor type-inferentie” gratis?
Ja — de volledige tekst van “Diep geneste patronen voor type-inferentie” kun je hier gratis op het web lezen. Als je interactief wilt oefenen met een ingebouwde code-editor en een AI-begeleider die 24/7 beschikbaar is, en de rest van de cursus TypeScript Academy wilt ontgrendelen, kun je upgraden naar CoddyKit PRO. De cursus TypeScript Academy bevat in totaal 4 lessen.
Wat leer ik in “Diep geneste patronen voor type-inferentie”?
Pas infer recursief toe om complexe typen af te leiden. Je oefent met TypeScript Academy door code rechtstreeks in de browser uit te voeren. Een AI-begeleider die 24/7 beschikbaar is beantwoordt je vragen terwijl je de les doorwerkt.
Heb ik ervaring nodig om met TypeScript Academy te beginnen?
Ervaring vooraf is niet nodig. TypeScript Academy op CoddyKit is opgebouwd voor beginners tot gevorderden, zodat je hier of bij het begin kunt starten en in je eigen tempo kunt leren. Dit is les 3 van 4.
Hoe lang duurt de les “Diep geneste patronen voor type-inferentie”?
De meeste lessen van CoddyKit duren ongeveer 5–10 minuten. Elke les is kort en interactief, zodat je gestaag vooruitgaat en op het web en in de app precies verdergaat waar je was gebleven.
Kan ik code schrijven en uitvoeren in deze les over TypeScript Academy?
Ja. Elke les over TypeScript Academy bevat een ingebouwde code-editor, zodat je rechtstreeks in je browser echte code kunt schrijven en uitvoeren en direct feedback van AI krijgt — lokale installatie is niet nodig.
Alle lessen in deze cursus
- infer in conditionele typen begrijpen
- ReturnType en Parameters zelf opbouwen
- Diep geneste patronen voor type-inferentie
- Praktische toepassingen van infer: Promises uitpakken