النوع مجموعة Types are Sets

النبذة

هذا أهم درس في المنهج كلّه. إن خرجت منه بعدسة واحدة فقط، خرجت بكل شيء. كل قاعدة في TypeScript — assignability، الاتحاد، التقاطع، never، unknown، التضييق، generics، حتى الرسائل الغريبة للأخطاء — هي نتيجة لجملة واحدة. لن نعطيك قواعد تحفظها. سنعطيك الجملة، ثم نُريك كيف تتساقط القواعد منها وحدها.

الجملة: النوع مجموعة (set) من القيم.

اللغز المستفزّ

إليك أربعة أسطر. لكل سطر، قرّر قبل أن تجرّب: هل يقبله المترجم أم يرفضه؟ والأهم — لماذا؟ لا تخمّن؛ ابنِ سبباً.

typescript
let a: number = 5;
let b: 5 = 5;
let c: number = b;
let d: 5 = a;

السطر الثاني غريب: 5 كنوع؟ نعم، 5 نوع صالح في TypeScript. هذا وحده يجب أن يزعزع فكرتك عن "ما هو النوع". number نوع، و 5 نوع. ما العلاقة بينهما؟ ولماذا — خمّن الآن — السطر c يُقبل بينما السطر d يُرفض، رغم أنهما يبدوان معكوسين لبعض؟

لو لم تملك إجابة مقنعة، فأنت تملك قواعد محفوظة لا فهماً. بنهاية هذا الدرس ستشتقّها في ثانية.

الدرس: لماذا "مجموعة" هي العدسة الصحيحة

من أين تأتي الفكرة

ما النوع، حقاً؟ في C تقول "int يعني ٤ بايت بترميز معيّن". لكن هذا تعريف عن التمثيل في الذاكرة، وقد عرفنا في الإقليم ٠ أن أنواع TypeScript تُمحى ولا تمثّل شيئاً في الذاكرة. فذلك التعريف لا ينفعنا هنا. نحتاج تعريفاً لا يذكر الذاكرة أبداً.

اسأل بدلاً منه: حين أقول x: number، ما الذي أعدُ به عن قيمة x؟ أعدُ أن x ستكون واحدة من قيم معيّنة: 0، 1، 3.14، -7، NaN... ولن تكون أبداً "hello" أو true. إذاً number ليس "٤ بايت"؛ number هو اسمٌ لمجموعة القيم المسموح بها. كل القيم الرقمية الممكنة داخل المجموعة؛ كل ما عداها خارجها.

هذه العدسة تشرح فوراً السطر let b: 5 = 5. النوع 5 هو المجموعة التي تحوي قيمة واحدة فقط: {5}. مجموعة مفردة (singleton). وهذا نوع مشروع تماماً، لأن "مجموعة فيها عنصر واحد" مجموعة. النوع number هو المجموعة الضخمة {... كل الأرقام ...}. والعلاقة بينهما الآن واضحة كالشمس: {5} ⊂ {كل الأرقام}. المجموعة المفردة جزء من المجموعة الكبيرة.

علاقة الإسناد = علاقة الاحتواء بين المجموعات

الآن نشتقّ أهمّ قاعدة في اللغة كلها، مجاناً، من التعريف.

متى يصحّ let target: T = source؟ الإسناد يضع قيمة source في صندوق وُعِدَ أن كل ما فيه عضوٌ في T. فيصحّ فقط إذا كانت كل قيمة ممكنة لـ source هي أيضاً عضوٌ في T. أي:

هذا كل ما تعنيه كلمة "assignable" في كل رسالة خطأ ستراها في حياتك مع TypeScript. "Type X is not assignable to type Y" تعني حرفياً: مجموعة X ليست جزءاً من مجموعة Y — يوجد عنصر في X خارج Y، أي قيمة قد تأتي من X ولا يقبلها Y.

طبّقها على اللغز:

typescript
let c: number = b;   // b نوعه {5}.  هل {5} ⊆ {كل الأرقام}؟ نعم.  ✅
let d: 5 = a;        // a نوعه {كل الأرقام}.  هل {كل الأرقام} ⊆ {5}؟ لا!  ❌

السطر d يُرفض لأن a قد تحمل 7 (نوعها يسمح بذلك)، و 7 ∉ {5}. المترجم لا ينظر للقيمة الحالية 5؛ ينظر لـ المجموعة التي يسمح بها نوع a، وهي أوسع من أن تتّسع في {5}. هذا ليس تعنّتاً — إنه استدلال مجموعات سليم. لو سمح به، لانهار الوعد: غداً يصير a = 9، و d لا يزال يدّعي أنه 5.

"النوع الفرعي" (subtype) هو فقط "المجموعة الفرعية"

في Java/C# تتعلّم "subtype" عبر شجرة وراثة: Dog نوع فرعي من Animal لأنك كتبت class Dog extends Animal. تعريف اسمي (nominal) — يعتمد على الاسم والإعلان الصريح.

في عدستنا، subtype لا علاقة له بالأسماء أو الوراثة:

5 نوع فرعي من number لأن {5} ⊆ number. لم نُعلن وراثة؛ العلاقة قائمة لأن المجموعات هكذا. هذا أول إطلالة على أن TypeScript بنيوية (structural) لا اسمية — موضوع كامل في الإقليم ٥، لكن جذره هنا: العلاقات بين الأنواع تُحسب من محتوى المجموعات، لا من أسمائها أو إعلاناتها. (هذا قريب جداً من duck typing في Python — "إن كان يمشي كبطّة" — لكن مُبرهَناً وقت الترجمة لا مُكتشَفاً وقت التشغيل. سنعمّق هذا لاحقاً.)

لماذا هذه العدسة بالذات، ولماذا تستحقّ هذا التبجيل

لأنها توحّد كل ما هو متفرّق:

• unknown سيكون المجموعة الكلّية (كل القيم). never سيكون المجموعة الخالية ∅. (الإقليم ٢)
• A | B سيكون اتحاد المجموعتين، و A & B تقاطعهما. (الإقليم ٣)
• "التضييق" (narrowing) سيكون حرفياً تصغير المجموعة بإزالة عناصر استبعدها فحصٌ شرطي. (الإقليم ٤)
• التحقّق من الشمول (exhaustiveness) سيكون "هل أفرغنا المجموعة حتى صارت ∅؟".
• حتى generics ستكون دوال على مجموعات.

تعلّم قاعدة لكل واحدة من هذه = حفظ. أمّا أن تراها كلها أوجهاً لجبر المجموعات = فهم. هذا الفرق هو الفرق بين الحل الأعمى والحل الذي تعرف فيه ما تفعل.

حذرٌ واحد: العدسة دقيقة، لا كاملة

التمثيل "النوع = مجموعة" صحيح بنسبة ٩٥٪، ويكفي لاشتقاق كل شيء تقريباً. الـ ٥٪ الباقية حيث يتسرّب الواقع: any ليست مجموعة (هي "أطفئ المُبرهِن")، والـ assignability ليست دائماً احتواءً نظيفاً بسبب ثقوب مقصودة (الإقليم ٦) وبسبب أن المُبرهِن خوارزمية محدودة لا إله رياضي. سنُسمّي كل تسرّب حين نصل إليه. لكن حتى ذلك الحين: حين تحتار، ارسم المجموعات.

اللغز / التمرين

typescript
let x: "hi" = "hi";
let y: string = x;
let z: "hi" = y;
let p: boolean = true;
let q: true = p;

الخلاصة — وصلٌ في الشجرة