الاتحادات المميَّزة

كائن واحد بحقول اختيارية لكل الاحتمالات — { kind: string; radius?: number; width?: number } — يبدو مرنًا، لكنه يقبل دائرة بلا نصف قطر، ويُلزمك بـ! عند كل وصول. و! وعدٌ للمترجم لا يتحقّق منه أحد.

الاتحاد المميَّز يصف كل حالة وحدها، ويضع فيها حقلًا حرفيًّا مشتركًا: { kind: "circle"; radius: number } | { kind: "rect"; width: number; height: number }. فحص kind وحده يكفي ليعرف المترجم في أيّ فرع أنت.

داخل case "circle": يصير shape.radius رقمًا مضمونًا، وshape.width خطأ أنواع — لأنه فعلًا غير موجود في الدائرة.