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

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

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

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