JIDEL — لغة برمجة تصف
مجرى الفكر وتنفّذه

مقترح بحثي

لغة بدأت بدودة قزّ واحدة

ربيع 2011، واجب عطلة ابن الأخ — مراقبة يرقات دودة القزّ

بدأت فكرة JIDEL في ربيع عام 2011، مع مراقبة يرقات دودة القزّ التي كانت واجب عطلةٍ لابن الأخ.

بمراقبة دودة القزّ وهي تغزل شرنقتها على مدى أيام، رأى المصمِّم أن سلوك الكائن الحيّ ينقسم إلى طبقات قليلة، تتخلّلها تفرّعات الحكم. صارت تلك الملاحظة مذكّرة احتُفِظ بها طويلًا حول تصنيف السلوك، ونمت لتصبح سؤالًا واحدًا — لماذا لا توجد لغة تستطيع تدوين بنية الفكر دون أن تفقدها؟ فاللغة الطبيعية غنية لكنها لا تُنفَّذ، ولغات البرمجة تُنفَّذ لكنها كانت أضيق كثيرًا من أن تسع الفكر.

يسترشد تطويرها بـالتبسيط والتجريد والحفاظ على الاتساق، ودورها على المدى الطويل أن تصبح أداةً مشتركة لوصف مفاهيم Neutom Network وBOSIFWEM وECONAS والتجريب بها.

مقترح بحثي

خمسة محاور تصميم

الأعمدة الخمسة التي يقوم عليها نحوها ونموذج تنفيذها

يستند نحو JIDEL ونموذج تنفيذها إلى المحاور الخمسة التالية. ومن بينها، يمثّل الترميز اللاحق الانطباع الأول عن اللغة — فترتيب الجملة الكورية هو عين ترتيب التنفيذ.

مقترح بحثي

موجَّه بالعلاقات — المعنى يُولَد من الوصل

معنى الاسم = حزمة الحواف المعلّقة على عُقدته

ترى JIDEL المفاهيم والبيانات والشِّفرة كشبكة من العلاقات المترابطة. ومعنى الاسم ليس تعريفًا مكتوبًا في مكان ما، بل يتجلّى في ما يتصل به، وكيف يتصل.

خطة تنفيذ

الشِّفرة معلومات أيضًا — من JIDEL إلى Neutom Network

الشِّفرة = البيانات = المعلومات · الشِّفرة المكتوبة بـJIDEL تتدفّق إلى Neutom Network بوصفها معلومات

تعالج JIDEL حِزَم الأوامر والروتينات والدوال كالقيم — إذ تربط البيانات والشِّفرة في واحد عبر العناوين (المؤشِّرات)، حتى يمكن مقارنة الشِّفرة وتقييمها وتركيبها (مبدأ الشِّفرة = البيانات). ومن هنا تخطو خطوة أبعد. فـالشِّفرة المصدرية وشِفرة اللغة الوسيطة (IBC) المكتوبتان بـJIDEL تتدفّقان مباشرةً بوصفهما نوعًا من المعلومات الأساسية التي تعالجها Neutom Network. ففي قائمة المعلومات المصدرية لـNeutom Network، إلى جانب المعلومات الفيزيائية والرياضية والتصوّرية ومعلومات BOSIFWEM، تحتلّ 「معلومات JIDEL」 مكانها الخاص. الشِّفرة مواطنة مساوية للبيانات والمعلومات — ولذلك فهي «من الدرجة الأولى».

إلى ما وراء فون نويمان — نحو نموذجٍ أكثر مرونةً وحريّة

منذ فون نويمان، ظلّت الحوسبة تحمل طويلًا فكرة معالجة التعليمات (الشِّفرة) والبيانات منفصلَين. ورؤية الشِّفرة بوصفها بيانات هدمٌ لذلك الحدّ الصارم — تحوُّلٌ في النظر نحو برمجةٍ أكثر مرونةً وحريّة.

لهذا الطريق الثالث سابقةٌ قديمة — فـLISP، قبل نصف قرن، عاملت الشِّفرة والبيانات ببنيةٍ واحدة (التماثُل الأيقوني، homoiconicity)، فأحدثت أول شرخٍ في ثنائية فون نويمان. وتوسّع JIDEL ذلك التقليد إلى عصر الشبكات العصبية: بإرخاء الحدود الصارمة بين الشِّفرة والبيانات والنموذج حتى تعبر جميعها بحريّة بوصفها نوعًا واحدًا من المعلومات (اتحاد ثلاثي). وحين يستطيع البرنامج أن يعامل حتى نفسه ونموذجه التعلّمي بوصفهما معلومات — يصلح نفسه (التعديل الذاتي)، ويتأمّل أفكاره (ما وراء المعرفة)، ويغيّر ذاته نحو هدف — تصير الإرادة ممكنةً أخيرًا.

خطة تنفيذ

Jactor — كائن نشط يوسّع Actor

وحدة حوسبة ذات علاقات ورسائل عاجلة ونمذجة ديناميكية · كلمة محجوزة في JIDEL

التفكير عملية محاكاة، يُحرِّك المرء فيها صورًا في ذهنه. ولأجل ذلك، يجب أن تتبادل وحدات الحوسبة الرسائل من تلقاء نفسها وأن تغيّر بنيتها بحسب ما يقتضيه الموقف. وJactor كلمة محجوزة في JIDEL توسّع Actor في اللغات الأخرى — وهو وحدة حوسبة ذات حالة تتبادل الرسائل غير المتزامنة باستقلال. ويضيف إلى Actor العلاقات والرسائل العاجلة (ذات الأولوية) والنمذجة الديناميكية، فيغدو كائنًا نشطًا يعقد العلاقات بنفسه، ويعالج الإشارات العاجلة أولًا، ويعيد تشكيل ذاته أثناء التشغيل.

خطة تنفيذ

منطق الحالات الست — جعل المجهول قيمةً منطقية كاملة

لا اثنتان — صواب وخطأ — بل ست

قيم JIDEL المنطقية ليست اثنتين — صوابًا وخطأً — بل ستًّا. والجوهر أن «حالة المجهول» ليست خطأً بل قيمةٌ منطقية كاملة.

• نستكشف ترميز الحالات الست في 8 بتات مع قناة ثقة. ويُرتَّب التخطيط بحيث تصير القيمة المُهيّأة إلى 0 هي «غير مُقيَّمة» (I).
• تُعالَج العمليات بسرعة عبر جداول البحث، وتُتحقَّق قوانين العمليات (التجميع، التوزيع، وغيرها) بتحقُّقٍ آليٍّ شامل على كل التوليفات. وقد بنينا مُتحقِّقًا يفحص جميع التوليفات البالغة 2.16 مليون فحصًا شاملًا، واجتاز 216 شرطَ اتّساق.
• أمّا اختيار القواعد التي تُعتمَد فيُدار في قائمة قرارات — أُدرج فيها أربعةٌ وثلاثون بندًا واستقرّ منها سبعة عشر، ويبقى الباقي معلّقًا. وإذا أظهر التحقُّق مثالًا مضادًّا، نُنقّح التصميم.

خطة تنفيذ

لولب المعرفة — ترتيب دوران الحالات الست

يبدأ من غير مُقيَّمة ويعود إلى مجهولة

الحالات الست ليست قائمةً مبسوطة، بل لها ترتيبٌ تدور فيه. تبدأ من غير مُقيَّمة (I) حيث لم يُسأل بعد، وتمرّ بـالتراكب (S) حيث تتداخل المرشّحات، ويُحكم بـالصواب (T) أو الخطأ (F)، فإذا تضاربت الأسانيد بلغت التناقض (P)، ومنه تعود إلى المجهولة (M). وليست تلك المجهولة هي غير المُقيَّمة الأولى — لأنّها مجهولةٌ نُيلت بعد السؤال.

لذلك لا يتّخذ هذا المنطق أيّ حالةٍ منتهًى. فالثقة تتراكم، وتُخفَّض أيضًا — يُنزلها المثالُ المضادّ، وفي اللحظة التي تطمح فيها إلى المعرفة القصوى تتراجع من تلقاء نفسها. وحيث حسب المنطقُ الغربيّ بالحالات المستقرّة وحدها، يدخل مفهومُ تهذيب النفس الشرقيّ العريق بوصفه قاعدةَ حساب. التواضع مُضمَّنٌ لا بوصفه موعظةً أخلاقية بل قاعدةً حسابية — وهذه هي ركيزة هذا التصميم.

خطة تنفيذ

عمليات القيم النسبية — قراءة ما بين الطرفين

نظرية ما بين القطبين · ليس «187 سم» بل «طويل بعض الشيء»

لا يفكّر الناس «هذا الشخص طوله 187 سم» — بل يشعرون فقط بأنه «طويل بعض الشيء». فالقيمة ليست مقياسًا مطلقًا؛ إنما تتحدّد بموضع وقوعها بين الطرفين (الأدنى والأقصى) لكل ما جرى اختباره حتى الآن: (x − min) / (max − min). ويتبدّل ذلك الموضع تبعًا للجماعة التي أنت فيها — فالطول 187 نفسه يُقرأ «متوسطًا» في فريق كرة سلة و«طويلًا» في غيره.

فرضية غير مُتحقَّق منها

أُطُر المسند — الجملة إطارٌ يفتح خانات

الأسماء بوصفها عمليات، لا قيمًا

هذا اتجاه بحثيّ حديث. تُعامَل الأسماء لا كقيمٍ ثابتة بل كعمليات تُقيَّم بحسب الشروط، وتُرى الجملة إطارًا من خانات أدوات الاستفهام يفتحه المسند.

• التقييم الكسول للأسماء — الاسم دالّةُ تقييمٍ كسول من [شرط → ظاهرة]، وفعلُ الإشارة إليه هو عين الملاحظة. والأدوات (i/ga، eul/reul، eseo…) معامِلات تُلحِق الشروط، والمسند في آخر الجملة زنادُ التقييم.
• خانات الاستفهام — مَن، وماذا، ومتى، وأين، ولماذا، وكيف، يُضاف إليها لِمَن، وبِمَ، وكم، فماذا إذن، وغيرها: أربع عشرة خانة تكوّن البنية الفارغة للجملة. والخانة غير المملوءة ليست خطأً بل تبقى قيمةً «مجهولة» (M).
• محرّك الفضول — نستكشف سبلًا لدعم فعل البحث عن الخانات الفارغة وملئها على مستوى اللغة. فطرحُ السؤال إظهارٌ لخانةٍ مجهولة إلى العلن.

مقترح بحثي

الإمكانات التي تفتحها هذه اللغة

ما وراء المواصفة التقنية — ماذا تعني للمستخدمين والداعمين

خطة تنفيذ

الأهداف قصيرة المدى وموضعها

التوثيق، ومفسِّرٌ عامل يُشغّل أمثلة صغيرة

الهدف قصير المدى هو توثيق نظام النحو ودلالات التنفيذ، وبناء مفسِّرٍ عامل يُشغّل فعلًا أمثلة صغيرة.

• النحو الأساسي: الترميز اللاحق · التعبير الموجَّه بالعلاقات · الشِّفرة بوصفها بيانات
• نموذج التنفيذ: تنفيذ قائم على المكدّس · عمليات معتمدة على السياق · معالجة القيم النسبية · الحكم متعدد القيم
• التنفيذ: مفسِّر أدنى · مجموعة أمثلة · وثيقة مواصفات · مُتحقِّق منطقي

في ترتيب البحث كلّه، تُعدّ JIDEL اللبنة الأولى — فلا يمكن بناء Neutom Network بها إلا بعد تنفيذ JIDEL، ولا يمكن التوجّه نحو ECONAS إلا حين تلتقي نظرية BOSIFWEM بـNeutom Network.

مقترح بحثي

انظر أيضًا

هذه الصفحة ملخّصٌ موجَّه للزوّار لوثائق تصميم JIDEL. وتُنشَر سجلّات البحث على لوحة البحث.

تُصمَّم JIDEL على أساس تأثير اللغات التسلسلية (concatenative) من عائلة Forth·Factor ولغات مثل C وPython وProlog وLisp، مع إضافة نظرية النحو الكوري وأبحاث المنطق متعدد القيم.