الشبكة The Lattice

النبذة

في الإقليم ١ صار لدينا هرم من المجموعات مرتّب بـ ⊆. سؤال الغموض كان: هل له قمّة وقاع؟ الجواب نعم، ولهما اسمان — unknown و never — وهما من أعمق وأجمل أدوات اللغة، رغم أن أحدهما يبدو للوهلة الأولى بلا معنى. سنقابل أيضاً ثلاثة مواطنين غرباء يكسرون التماثل: any (الخائن)، و void (المخادع)، و null/undefined (التوأم المنفيّ). فهم هؤلاء الخمسة يثبّت الشبكة كلها.

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

تأمّل هذه الأنواع الأربعة وقرّر — قبل أي تجربة — ما الذي يُقبل:

typescript
declare let u: unknown;
declare let n: never;

let a: string = u;     // ؟
let b: unknown = "hi"; // ؟
let c: string = n;     // ؟
let d: never = "hi";   // ؟

unknown و never معكوسان بطريقة مثاليّة: واحد يقبل الإسناد إليه من كل شيء لكن لا يُسنَد منه لشيء، والآخر بالعكس تماماً. أيّهما أيّ؟ ولو فهمت ذلك، فأجب عن اللغز الحقيقي:

الدرس

القمّة: unknown = المجموعة الكلّية

الهرم في الإقليم ١ يرتفع كلّما اتّسعت المجموعة. القمّة هي المجموعة التي تحوي كل قيمة ممكنة: كل رقم، كل نص، كل كائن، null, undefined, الدوال، كل شيء. اسمها unknown (النوع الأعلى، top type).

اشتقّ سلوكها من العدسة، لا تحفظه:

• هل أي قيمة تُسنَد لـ unknown؟ نعم دائماً. مجموعة أي نوع T تحقّق T ⊆ unknown لأن unknown تحوي كل شيء. لذلك let b: unknown = "hi" يُقبل، وكذلك أي شيء آخر.
• هل unknown تُسنَد لنوع أضيق؟ لا أبداً (إلا لـ unknown نفسها و any). let a: string = u يُرفض، لأن u قد تحمل رقماً أو null؛ مجموعتها ليست ⊆ string. هذا ليس تزمّتاً: unknown تعني حرفياً "لا أعرف ما هذا"، فكيف تسمح لي باستعماله كنصّ دون أن أتحقّق أولاً؟

ولهذا أيضاً، لا تستطيع فعل أي شيء بقيمة unknown مباشرة — لا u.length، ولا u()، ولا u + 1. عليك أولاً أن تضيّقها (الإقليم ٤) لتُثبت للمُبرهِن أنها في مجموعة أصغر تدعم العملية. unknown هي "صندوق مغلق آمن": تستطيع حمله وتمريره، لكن لا تفتحه إلا بعد إثبات محتواه.

القاع: never = المجموعة الخالية ∅

انزل للقاع: المجموعة التي لا تحوي أي قيمة. اسمها never. وكل سلوكها — الذي يربك المبتدئين — يتساقط من تعريف المجموعة الخالية:

• هل never تُسنَد لأي نوع T؟ نعم، لكل T. لأن ∅ ⊆ T صحيحة دائماً رياضياً (المجموعة الخالية جزء من كل مجموعة — لا يوجد فيها عنصر يخالف). لذلك let c: string = n يُقبل! قيمة never تستطيع التظاهر بأنها أي نوع... لأنه لا توجد قيمة never أصلاً لتُكذّب الادّعاء. وعدٌ فارغ صادق دائماً.
• هل أي قيمة تُسنَد لـ never؟ لا، أبداً (إلا never و any). let d: never = "hi" يُرفض لأن {"hi"} ليست ⊆ ∅. لا شيء يدخل المجموعة الخالية.

إذاً never و unknown انعكاسان مثاليّان للشبكة: unknown يبتلع كل شيء ولا يَخرج، و never لا يبتلع شيئاً ويُخرَج لكل مكان.

الآن، فائدة "النوع المستحيل": never ليس قيمةً تُنشئها، بل إشارة من المُبرهِن تقول: "وصلتُ، رياضياً، إلى نقطة لا قيمة تصلها." وهذا أنفع ممّا يبدو بمراحل:

1. دالة لا تعود أبداً نوع إرجاعها never: دالة ترمي استثناءً دائماً، أو تدور للأبد. لا قيمة عائدة تنتمي لأي مجموعة، فالمجموعة خالية. `ts function fail(msg: string): never { throw new Error(msg); }`
2. التحقّق من الشمول (exhaustiveness). هذا أجمل استعمالاته، وسنبنيه بالكامل في الإقليم ٤. الفكرة بذرتها هنا: لو ضيّقت مجموعةً حتى أفرغتها، يصير ما تبقّى never. فإذا أضفت لاحقاً حالة جديدة ونسيت معالجتها، لن تُفرَغ المجموعة، فلن يصل المتبقّي إلى never، فيشتكي المترجم. أي: never يتحوّل إلى منبّه آليّ عند إضافة حالة لم تُعالَج. نوعٌ "مستحيل" يصير حارساً.

المواطن الخائن: any

الآن المنطقة المظلمة. any يبدو كأنه القمّة (unknown) لكنه ليس مجموعة على الإطلاق. unknown تحوي كل القيم؛ any تُطفئ المُبرهِن. الفرق هائل:

typescript
let u: unknown = getValue();
u.toUpperCase();   // ❌ المترجم يرفض: لم تُثبت أنها نص

let a: any = getValue();
a.toUpperCase();   // ✅ يمرّ بصمت — ثم ينفجر وقت التشغيل لو لم تكن نصاً

any يكسر الشبكة لأنه يُسنَد إلى أي شيء وأي شيء يُسنَد إليه في آنٍ واحد — وهو ما يستحيل لأي مجموعة حقيقية (فقط never تُسنَد للكل، وفقط unknown يَقبل من الكل؛ لا مجموعة تجمع الصفتين). any ليس عضواً في نظام المجموعات؛ إنه ثقب فيه: نقطة تقول "هنا، توقّف عن البرهان وثِق بي". وكل قيمة any تتسرّب عبر برنامجك حاملةً معها تعطيل الفحص، تُفسد السلامة في كل ما تلمسه.

اشتقاق عملي مباشر: القاعدة هي أن unknown بديلك الصحيح في كل مكان يغريك فيه any. كلاهما يقول "لا أعرف النوع"، لكن unknown يبقيك مُجبَراً على الإثبات قبل الاستعمال، بينما any يتخلّى عنك. حين ترى any في كود، اقرأها: "هنا أُسكِت المُبرهِن" — ثم اسأل لماذا، فغالباً يخفي خطأً.

(لماذا تُوجد any أصلاً إذاً؟ لأن TypeScript وُلدت فوق ملايين أسطر JavaScript موجودة، واحتاجت بوّابة هروب تدريجي لإدخالها. any ثمن التبنّي التدريجي، لا ميزة تصميمية. الإقليم ٩ يفصّل هذا الجانب من اللاسلامة.)

المخادع: void

void نوعٌ تراه في إرجاع الدوال التي "لا تُرجع شيئاً مفيداً":

typescript
function log(msg: string): void { console.log(msg); }

الفخّ: void ليست undefined، رغم أن الدالة فعلاً تُرجع undefined وقت التشغيل. void تعني شيئاً أدقّ: "لا تعتمد على القيمة العائدة؛ تجاهلها." وهذا يخلق سلوكاً يبدو متناقضاً حتى تفهم قصده:

typescript
type Fn = () => void;
const f: Fn = () => 42;   // ✅ يُقبل! رغم أن 42 ليست void

لماذا يُقبل إرجاع 42 حيث طُلب void؟ لأن void كنوع إرجاع متوقَّع يقول "لن أنظر للقيمة العائدة أصلاً"، فلا يضرّك أن الدالة أعادت شيئاً — سيُتجاهَل. هذا ليس خرقاً للعدسة بل تطبيق لها: المُستهلِك وعدَ بألّا ينظر، فأي قيمة آمنة. هذه الميزة هي ما يجعل arr.forEach(x => arr.push(x)) يعمل: push تُرجع رقماً، و forEach تتوقّع void، ولا أحد يكترث للرقم. (سنعود لهذا الاستثناء الدقيق ضمن التباين في الإقليم ٦؛ هنا يكفي أن void = "تُجاهَل القيمة" لا "القيمة undefined".)

التوأم المنفيّ: null و undefined، وقرار strict

في JavaScript قيمتان تعنيان "لا شيء": null و undefined. السؤال التصميمي: هل null عضوٌ في مجموعة string؟ أي هل let s: string = null صحيح؟

TypeScript تعطيك إجابتين حسب strictNullChecks (المُفعَّل ضمن "strict": true):

• بدون strict (الوضع القديم السيّئ): null و undefined عضوان في كل مجموعة. أي string تعني فعلياً string | null | undefined. النتيجة: مليار انفجار Cannot read properties of null لأن المُبرهِن لا يحرسك منها. هذا يعيد إنتاج بالضبط ألمَ JavaScript الذي جاءت TypeScript لتُنهيه.
• مع strict (الصحيح): null و undefined مجموعتان مفردتان منفصلتان {null} و {undefined}، خارج كل المجموعات الأخرى. فـ string لا تحوي null. إن أردت السماح بالغياب، تقوله صراحةً: string | null. الآن المُبرهِن يُجبرك على معالجة حالة الغياب قبل الاستعمال — وهذا يقتل عائلة كاملة من الأخطاء.

اشتقاق جميل: لاحظ أن string | null يعني مجموعة string موسَّعة بعنصر null. وحين تفحص if (s !== null)، أنت تطرح {null} من المجموعة فتعود string نقيّة. هذا تضييق — الإقليم ٤ — لكنه الآن مفهوم كعملية مجموعات بحتة.

الشبكة مكتملة

هذا ترتيب جزئي (partial order) مكتمل بقمّة وقاع — في الرياضيات يُسمّى lattice (شبكة)، ولهذا عنوان الإقليم. ولأنها شبكة، فلكل نوعين "أصغر حدٍّ أعلى مشترك" (الاتحاد) و"أكبر حدٍّ أدنى مشترك" (التقاطع) — وهذان بالضبط موضوع الإقليم التالي.

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

typescript
declare let u: unknown;
declare let n: never;
let a: unknown = n;     // ؟ (∅ ⊆ unknown؟)
let b: never = u;       // ؟
let c: number = n;      // ؟
function g(): never { while (true) {} }   // ما نوع الإرجاع المنطقي؟ ولماذا never لا undefined؟

typescript
type Shape =
  | { kind: "circle"; r: number }
  | { kind: "square"; s: number };

function area(shape: Shape): number {
  if (shape.kind === "circle") return Math.PI * shape.r ** 2;
  if (shape.kind === "square") return shape.s ** 2;
  // ما نوع shape هنا، بعد استبعاد الحالتين؟
}

typescript
const data: any = JSON.parse('{"name": "Sam"}');
const len: number = data.name.length;   // يمرّ
const boom: number = data.age.length;   // يمرّ أيضاً — لكن...

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