Conditional र mapped types के हुन्?

Question

Accepted Answer

यी TypeScript का **type-level programming** उपकरणहरू हुन् — तिनीहरूले अस्तित्वमा रहेका प्रकारहरूबाट नयाँ प्रकारहरू गणना गर्छन्। ## Mapped types — प्रत्येक property परिवर्तन गर्नुहोस् एक mapped type ले एक प्रकारका keys मा पुनरावृत्ति गर्छ र प्रत्येकलाई परिवर्तन गर्छ: ```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]` प्रत्येक key `K` मा लुप गर्छ; `T[K]` त्यो key को value type हो। यो कसरी `Partial`, `Readonly`, र `Required` लागू गरिएको छ। तपाई keys पनि remap गर्न र modifiers जोड्न सक्नुहुन्छ (`-readonly`, `-?` तिनीहरूलाई हटाउँछ)। ## Conditional types — एक condition मा branch गर्नुहोस् ```ts type IsString = T extends string ? "yes" : "no"; type A = IsString; // "yes" type B = IsString; // "no" ``` `T extends U ? X : Y` एक type-level if/else हो। `infer` सँग तपाई condition भित्र प्रकारहरू *निकाल्न* सक्नुहुन्छ: ```ts type ElementOf = T extends (infer U)[] ? U : never; type E = ElementOf; // string ``` ## तिनीहरूलाई जोड्नुहोस् — एक वास्तविक उदाहरण ```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 पनि conditionals मा unions मा **distribute** गर्छन्, शक्तिशाली transforms सक्षम गर्दै। ## यो किन महत्त्वपूर्ण छ Mapped र conditional types ले लाइब्रेरीहरूलाई सटीक type सम्बन्ध व्यक्त गर्न दिन्छ — तिनीहरूले utility types लागू गर्छन्, form/validation लाइब्रेरीहरू शक्तिशाली गर्छन्, ORM query builders, र API clients जो response shapes infer गर्छन्। तिनीहरू उन्नत छन्, तर तिनीहरूलाई बुझ्नुले TypeScript को type system कसरी यति अभिव्यक्तिशील हुन सक्छ भनेर व्याख्या गर्छ, र तपाईलाई हस्तलेखित variants को साटो reusable type transforms बनाउन दिन्छ।