A Calculus of Inheritance

1. بيان المشكلة

تعتمد هندسة البرمجيات الحديثة بشكل كبير على اللغات التصريحية والتهيئة (مثل وحدات NixOS، وJsonnet، وCUE، وDhall) التي تُركب البيانات المهيكلة من خلال الوراثة أو الدمج. وعلى الرغم من نجاحها العملي الواسع وتعبيريتها العالية (على سبيل المثال، يمكن لـ NixOS تهيئة أنظمة تشغيل كاملة)، إلا أنه لا يوجد نموذج حوسبة تأسيسي مماثل للبرمجة التصريحية يضاهي حساب لامدا ($\lambda$-calculus) للبرمجة الوظيفية.

تفشل النماذج الحوسبية الموجودة في استيعاب القيود الفريدة للغات التهيئة:

• آلات تورينج/ذاكرة الوصول العشوائي (RAM): تتطلب حالة متغيرة (mutable state).
• حساب لامدا ($\lambda$-calculus): يتطلب دوال من الدرجة الأولى (first-class functions).
• لغات التهيئة: هي غير قابلة للتغيير بطبيعتها وتفتقر إلى الدوال من الدرجة الأولى، ومع ذلك تبدو تامة تورينج (Turing-complete).

علاوة على ذلك، تعاني الأنظمة القائمة على الكائنات (Object-Oriented) والأنظمة القائمة على الـ Mixin من مشكلة التعبير (Expression Problem) (صعوبة توسيع أنواع البيانات والعمليات في آن واحد) ومشكلة الترتيب الخطي (linearization problem) (الغموض في ترتيب حل الميثود عند وجود مسارات وراثة متعددة). غالبًا ما ترفض الأنظمة الحالية الوراثة متعددة المسارات أو تتطلب خوارزميات ترتيب خطي معقدة (مثل C3) لحل النزاعات.

2. المنهجية

يقترح المؤلف حساب الوراثة (Inheritance-Calculus)، وهو نموذج حوسبة أدنى مستخلص من التنفيذ العملي MIXINv2. تتضمن المنهجية ما يلي:

• الأوليات (Primitives): بُني الحساب على ثلاث أوليات: السجل (Record)، التعريف (Definition)، والوراثة (Inheritance). وهو يوحد الفئات (classes)، والميثودز (methods)، والكائنات (objects)، والخصائص (properties) تحت تجريد واحد وهو "السجل".
• دلالات الدمج العميق (Deep Merge Semantics): على عكس الدمج السطحي أو رفض النزاعات، تُنمذج الوراثة كـ اتحاد مجموعات للأشجار الفرعية. وهذا يجعل التركيب بطبيعته إبدالياً (commutative)، ومتماثلاً (idempotent)، وتجميعياً (associative).
• الدلالات الرصدية (Observational Semantics): تُقاد الحوسبة بواسطة "راصد" (observer) يستعلم عن المسارات في شجرة مُنشأة كسلاً (lazily constructed tree) (أي "شجرة الميكسن"). تُعرف الدلالات من خلال ست معادلات نظرية مجموعات من الدرجة الأولى ومتداخلة عودياً:
  1. properties: تجمع الملصقات (labels) من النطاق الحالي ومن جميع الأصول (supers).
  2. supers: تحسب الإغلاق المتعدي (transitive closure) لسلاسل الوراثة.
  3. overrides: تتعامل مع الدمج العميق للتعريفات التي تشترك في نفس الملصق.
  4. bases: تحل مراجع الوراثة المباشرة.
  5. resolve: تربط المراجع النحوية بالمسارات المستهدفة.
  6. this: تتعامل مع حل المرجع الذاتي، مما يسمح لموقع تعريف واحد بالحل إلى مسارات وراثة متعددة (multi-path resolution).
• نظرية النقطة الثابتة (Fixpoint Theory): تُعرف الدلالات بوصفها أدنى نقطة ثابتة (lfp) لمؤثر نتيجة فورية رتيب ($T_P$)، مما يضمن التقارب للبرامج العودية حيث قد تتباعد عمليات تقليص بيتا ($\beta$-reduction) القياسية.

3. المساهمات الرئيسية

أ. الأسس النظرية

• الدلالات من الدرجة الأولى: يوفر الحساب دلالات وصفية (denotational semantics) من الدرجة الأولى لـ "حساب لامدا الكسول". وهو يلغي الحاجة إلى فضاءات الدوال، أو الإغلاقات (closures)، أو الاستراتيجيات من الدرجة العليا في المجال الدلالي، معتمداً فقط على المسارات ومجموعات المسارات.
• عدم التماثل التعبيري: يثبت البحث أن "حساب الوراثة" هو أكثر تعبيرية بشكل صارخ من "حساب لامدا الكسول" وفقاً لمعنى فيليسين (Felleisen). وبينما يمكن التعبير عن حدود $\lambda$ في "حساب الوراثة" عبر ترجمة ANF، فإن العكس مستحيل. يسمح "حساب الوراثة" بـ "التوسيع المفتوح"، حيث يمكن إضافة إسقاطات (projections) جديدة قابلة للرصد إلى التعريفات الموجودة دون تعديلها.
• تكافؤ أشجار بوم (Böhm Tree Equivalence): تحافظ الترجمة من حساب لامدا إلى "حساب الوراثة" على تكافؤ أشجار بوم. والجدير بالذكر أن بعض حدود $\lambda$ التي تتباعد تحت تقليص $\beta$ تتقارب تحت دلالات lfp($T_P$) الخاصة بحساب الوراثة.

ب. حل مشكلة التعبير

• الحصانة ضد عدم القابلية للتوسيع: يتميز الحساب بنيوياً بالحصانة ضد "مشكلة التعبير". يمكن إضافة عمليات وأنواع بيانات جديدة عبر ملفات منفصلة (mixins) وتركيبها عبر الوراثة دون تعديل الكود الحالي.
• الدلالات العلاقاتية: ينتج الحساب بشكل طبيعي الدلالات العلاقاتية للبرمجة المنطقية. حيث تتوزع العمليات على القيم المشفرة بأسلوب "تراي" (tries) تلقائياً على المجموعات، مما يحول العمليات الحسابية إلى حاصل ضرب ديكارتي (على سبيل المثال، إضافة $\{1, 2\}$ إلى $\{3, 4\}$ ينتج $\{4, 5, 6\}$).

ج. الآثار العملية

• عمى لون الدالة (Function Color Blindness): يمكن لنفس الكود أن يعمل تحت نماذج تنفيذ مختلفة (متزامنة مقابل غير متزامنة) لأن "لون" الدالة (الأثر/effect) يتحدد وقت التجميع عبر الوراثة، وليس على مستوى الحساب.
• المرجع الذاتي متعدد المسارات: يحل الحساب المراجع الذاتية إلى أهداف متعددة في آن واحد، وهي ميزة ترفضها أنظمة مثل Scala (حساب DOT) ونظام وحدات NixOS، التي تفترض حلاً أحادي القيمة للمرجع الذاتي.

4. النتائج

• التنفيذ: تم تنفيذ النظرية في MIXINv2 (بلغة بايثون)، والذي يتضمن مجموعة اختبار تغطي جميع الأمثلة، بما في ذلك المنطق البولياني، وحساب الأعداد الطبيعية، وتطبيق ويب.
• دراسة حالة (حساب الأعداد الطبيعية): يوضح البحث كيف يمكن تنفيذ المنطق البولياني والحساب كملفات منفصلة وتركيبها دون تعديل. يتعامل النظام مع "نمط الزائر" (visitor pattern) للتحقق من التساوي، ويوسع تلقائياً أنواع القيم المرجعة (على سبيل المثال، عملية Plus تعيد قيمًا تمتلك أيضاً خصائص Equal) دون الحاجة لكود نمطي (boilerplate).
• ترميز داتلوج (Datalog): يقدم البحث ترميزاً منهجياً لـ Datalog داخل "حساب الوراثة"، مما يثبت أن الحساب يدعم معالجة الاستعلام العودي ومعالجة دلالات أدنى نقطة ثابتة بشكل أصيل دون محركات خارجية.
• الإنهاء (Termination): تستخدم استراتيجية التقييم "التقييم المجدول" (tabled evaluation/memoization) لحساب أدنى نقطة ثابتة، مما يضمن السلامة حتى في وجود التبعيات الدائرية.

5. الأهمية

• توحيد النماذج: يجسّر الفجوة بين البرمجة الوظيفية (عبر تضمين حساب لامدا) والتهيئة التصريحية، موضحاً أن الوراثة هي أصل أكثر جوهرية من تطبيق الدوال.
• إلغاء الترتيب الخطي: من خلال جعل الوراثة إبدالية وتماثلية، فإنه يلغي بنيوياً الحاجة إلى خوارمايات الترتيب الخطي المعقدة (مثل C3) واستراتيجيات حل النزاعات الموجودة في البرمجة كائنية التوجه.
• نموذج حوسبة جديد: يؤسس لنموذج جديد "تام تورينج" (Turing-complete)، وهو نموذج غير قابل للتغيير، وخالٍ من الدوال، ومن الدرجة الأولى، ليملأ "الخلية الفارغة" في جدول النماذج الحوسبية.
• الأثر العملي: تفسر هذه النتائج سبب كون أنظمة مثل NixOS معبرة للغاية، وتوفر أساساً نظرياً لبناء الجيل القادم من لغات التهيئة وبنى البرمجيات النمطية التي تكون قابلة للتوسيع بطبيعتها وحصينة ضد مشكلة التعبير.

في الختام، يعيد حساب الوراثة صياغة الوراثة ليس كآلية لإعادة استخدام الكود أو الهيكل الهرمي للكائنات، بل كأصل حوسبي جوهري قادر على التعبير عن المنطق، والحساب، والتحكم من خلال عمليات نظرية المجموعات على سجلات الأشجار.