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

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

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

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