أسماء الأنواع

تعطي بـ type اسمًا لأيّ نوع، سواء كان كائنًا أو اتحادًا أو نوعًا أساسيًّا (primitive)، فتستطيع أن تكتب type ID = string | number، أمّا interface فلا يصف إلا أشكال الكائنات.

والعلامة & تصنع تقاطعًا (intersection)، فالنوع A & B يصف قيمة فيها حقول A وحقول B معًا، وبه تبني النوع الكبير من أنواع صغيرة عرّفتها مرّة واحدة، بدل أن تنسخ الحقول فتختلف النسخ عن بعضها مع الوقت.

والقاعدة العملية أن تستعمل interface لأشكال الكائنات، وtype لما سواها وللتركيب. وانتبه إلى أنّ تقاطع حقلين متعارضين مثل { id: string } & { id: number } لا يُرفض عند التعريف، بل يصير id من نوع never، فلا يمكن أن تُنشئ قيمة من هذا النوع أصلًا.