Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

مصدر الحقيقة الموحّد (SoT)

تتبنّى لغة ص مبدأ مصدر الحقيقة الموحّد (Single Source of Truth): تُوصَف اللغة — كلماتها وأنواعها وعواملها وقواعدها وأخطاؤها — في ملفّات بيانات مُحكَّمة بمخطّطات، ثم يُولَّد منها الكود والتوثيق. هذا يمنع التضارب بين الوصف والسلوك.

الموقع: language-truth/ في المستودع الأساسيّ.

لماذا؟

  • اتّساق: تعريف واحد للكلمة/النوع يُغذّي المعجمي والمحلّل والتوثيق معًا.
  • تحقّق آليّ: الـCI يطابق الوصف بالسلوك (حقول maps_to وconformance).
  • توثيق حيّ: هذا الكتاب وصفحات docs/parser_rule/_generated تُشتقّ من المصدر.

أبرز الملفّات

الملفّيحوي
keywords.yamlالمعجم: 40 محجوزة + 3 عوامل + سياقيّة + 9 أنواع
operators.yamlالعوامل وأسبقيّتها وترابطها
types.yamlالأنواع المدمجة وخصائصها
grammar/*.yamlقواعد الإنتاج (EBNF) عبر ثماني طبقات
errors/كتالوج رموز الأخطاء ورسائلها
builtins/الدوال المضمّنة
stdlib/وحدات المكتبة القياسيّة
_schemas/مخطّطات JSON التي تُحكِّم كلّ ما سبق

القاعدة الذهبيّة

عند أيّ تعارض بين هذا التوثيق وlanguage-truth/، فإنّ language-truth/ هو الفيصل. دور هذا المستودع أن يَعرض الحقيقة ويشرحها للقارئ، لا أن يُنشئ قاعدةً جديدة.

انظر أيضًا