حلقة على المفاتيح

ليست Partial وReadonly سحرًا مخفيًّا داخل المترجم، بل كل واحدة منهما سطر واحد تستطيع كتابته بنفسك. فـالنوع المُحوَّل (mapped type) يمرّ على مفاتيح نوع آخر ويبني لكل مفتاح خاصية، فمثلًا { [K in keyof T]: boolean } يعطي كل حقل في T قيمة منطقية.

وتستطيع أن تضيف إلى كل خاصية مُعدِّلات، فـ? تجعلها اختيارية، وreadonly تمنع تغييرها، و-? و-readonly تنزعانهما. ولست ملزمًا بأن تكون القيمة T[K]، بل تضع فيها أي نوع تريده.

والنوع المشتقّ يتبع أصله، فإذا أضفت phone إلى النموذج صار له مكان لرسالة خطأ تلقائيًّا. وانتبه إلى أن readonly فحص وقت الترجمة فقط، أما الكائن نفسه فيبقى قابلًا للتعديل أثناء التشغيل.