এগুলি TypeScript এর প্রকার-স্তরের প্রোগ্রামিং সরঞ্জাম — তারা বিদ্যমান প্রকার থেকে নতুন প্রকার গণনা করে।
ম্যাপ করা প্রকার একটি প্রকারের মূল চাবিগুলির উপর পুনরাবৃত্তি করে এবং প্রতিটিকে রূপান্তরিত করে:
<T> = { [K keyof T]: T[K] };
<T> = { [K keyof T]?: T[K] };
{ : ; : ; }
= <>;
[K in keyof T] প্রতিটি চাবি K এর উপর লুপ করে; T[K] সেই চাবির মানের প্রকার। এটি কীভাবে Partial, Readonly, এবং Required প্রয়োগ করা হয়। আপনি চাবিগুলিও পুনরায় ম্যাপ করতে পারেন এবং সংশোধকগুলি যোগ করতে পারেন (-readonly, -? সেগুলি সরান)।
type IsString<T> = T extends string ? "yes" : "no";
type A = IsString<string>; // "yes"
type B = IsString<number>; // "no"
T extends U ? X : Y প্রকার-স্তরের if/else। infer সহ আপনি শর্তের মধ্যে প্রকারগুলি নিষ্কাশন করতে পারেন:
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];
};
ম্যাপ করা প্রকারগুলি শর্তগুলিতে ইউনিয়নের উপরেও বিতরণ করে, শক্তিশালী রূপান্তরগুলি সক্ষম করে।
ম্যাপ করা এবং শর্তসাপেক্ষ প্রকার লাইব্রেরিগুলিকে সুনির্দিষ্ট প্রকার সম্পর্ক প্রকাশ করতে দেয় — তারা ইউটিলিটি প্রকার, ফর্ম/বৈধতা লাইব্রেরি, ORM অনুসন্ধান নির্মাতা এবং API ক্লায়েন্টগুলি প্রয়োগ করে যা প্রতিক্রিয়া আকার অনুমান করে।
তারা উন্নত, কিন্তু তাদের বোঝা ব্যাখ্যা করে কীভাবে TypeScript এর প্রকার সিস্টেম এত প্রকাশমূলক হতে পারে, এবং আপনাকে হাতে লেখার রূপ বৈকল্পের পরিবর্তে পুনঃব্যবহারযোগ্য প্রকার রূপান্তর তৈরি করতে দেয়।