X'inhu t-tipi kondizzjonali u l-mapped types?

Question

Accepted Answer

Dawn huma l-**tools tat-tipprugammazzjoni fil-livell tat-tipi** ta' TypeScript — jikkalkulaw tipi ġodda minn dawk eżistenti. ## Mapped types — ittrasfurma kull proprjetà Mapped type itera fuq il-keys ta' tip u jittrasfurma kull wieħed: ```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]` idawwar fuq kull key `K`; `T[K]` huwa t-tip tal-valur ta' dak il-key. Dan huwa kif `Partial`, `Readonly`, u `Required` huma implimentati. Tista' wkoll taŕremap il-keys u tżid modifiers (`-readonly`, `-?` iż-żilgħu). ## Conditional types — fergħa fuq kondizzjoni ```ts type IsString = T extends string ? "yes" : "no"; type A = IsString; // "yes" type B = IsString; // "no" ``` `T extends U ? X : Y` huwa if/else fil-livell tat-tipi. B'`infer` tista' *estratt* tipi ġewwa l-kondizzjoni: ```ts type ElementOf = T extends (infer U)[] ? U : never; type E = ElementOf; // string ``` ## Jikkombinaw — eżempju reali ```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 ukoll **jiddistriwixxu** fuq unions fil-kondizzjonali, li jippermettu transformazzjonijiet qawwija. ## Għaliex hija importanti Mapped u conditional types jippermettu lil libreriji jesprimu relazzjonijiet preċiżi tat-tipi — jimplementaw il-utility types, jqaħħdu lil libraries tal-form/validazzjoni, ORM query builders, u API clients li jinferru l-għamla tar-rispons. Huma avvanzati, iżda l-fehim tagħhom jispjega *kif* is-sistema tat-tipi ta' TypeScript tista' tkun espressiva tant, u jippermettulek tibni t-tipi riusabbli jħallsu invej inkiteb tal-yad tal-varjanti.