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

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

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

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