اشتقاق الأنواع

عندك نوع User واحد، وتحتاج منه أشكالًا أخرى: تحديثًا جزئيًّا، وبطاقة مختصرة، ومستخدمًا جديدًا لم يأخذ id بعد. ونسخ هذه الأشكال يدويًّا ينفع يومًا واحدًا، ثم يتغيّر User وتبقى النسخ على حالها دون أن يظهر خطأ واحد يدلّك عليها.

أما الأنواع المساعدة (utility types) فتشتقّ الشكل الجديد بدل أن تنسخه: Partial<T> تجعل كل الحقول اختيارية، وPick<T, "a" | "b"> تأخذ حقولًا بعينها، وOmit<T, "a"> تأخذ كل شيء عداها، وRecord<K, V> تبني كائنًا مفاتيحه K وقيمه V.

والنوع المشتقّ يتبع أصله دائمًا، فإذا غيّرت نوع id في User تغيّرت معه كل الأنواع المشتقّة، وظهر في الحال خطأ في كل كود لم يعد يوافقها.