كنوع ، “محاضرة قبول الجائزة” ليست أكثر من مجرد إجراء شكلي وابتذال. ولكن هناك استثناء ساحر واحد على الأقل لهذه القاعدة، وهو الأحاديث التي ألقاها أبرز علماء الكمبيوتر بمناسبة حصولهم على جوائز تورينج.
يقرأ البعض مثل البيانات: كتاب جون باكوس “هل يمكن تحرير البرمجة من أسلوب فون نيومان؟” (1977) ألهم نموذجًا جديدًا أدى إلى إنشاء لغات وظيفية مثل هاسكل. البعض الآخر عبارة عن تحذيرات: في كتابه “تأملات حول الثقة بالثقة” (1984)، أظهر كين طومسون خطورة المترجمات ذات الأبواب الخلفية، والتي من المحتمل أن تمنع مجموعات كبيرة من الثغرات الأمنية. حث إدسجر ديكسترا، في كتابه “المبرمج المتواضع” (1972)، أمثاله على توخي الحذر من الذكاء والاعتراف “بالحدود الجوهرية للعقل البشري”.
ولأغراضنا، خذ بعين الاعتبار محاضرة كينيث إيفرسون المثيرة لعام 1979 بعنوان “التدوين كأداة للفكر”. وفيه، أثبت أن الرموز الرياضية ليست مجرد اختصار مناسب، بل هي CO2 بالنسبة لثاني أكسيد الكربون، و3,888 بالنسبة إلى MMMDCCCLXXXVIII، فهي أيضًا تجعل رؤى جديدة قابلة للاكتشاف بسهولة. وكما قال عالم الرياضيات ألفريد نورث وايتهيد ذات مرة: “من خلال إراحة الدماغ من كل الأعمال غير الضرورية، فإن التدوين الجيد يحرره من التركيز على المسائل الأكثر تقدماً”.
فاز إيفرسون بجائزة تورينج عن لغة APL، وهي لغة برمجة ذات مظهر مخيف بدأت حياتها كنظام تدوين للتقريب بين اللغات. في الأيام الأولى للحوسبة العلمية، كان على المبرمجين التفكير بلغة واحدة (التدوين الرياضي) ثم البرمجة بلغة أخرى (على سبيل المثال، فورتران). تم تصميم APL بحيث يمكن كتابة العمليات غير العملية بشكل مضغوط مثل المعادلات – حيث تنقسم أسطر التعليمات البرمجية إلى بضعة رموز مثل + أو ×. تبين أن لغة APL أكثر تأثيرًا من المعتمدة، ولكن لا يهم: فقد أظهرت أنه يمكن دمج لغتين في لغة واحدة.
سنة 2026 يصادف مرور 60 عامًا على تقديم APL، وهناك نوع جديد من مشكلة اللغتين يربك مجال الحوسبة العلمية. لغة البرمجة الحاكمة هي بايثون، لكنها لا تسود باعتبارها فاتحًا مفتول العضلات بقدر ما هي ملك مراوغ. بعبارة أخرى، لغة بايثون بطيئة للغاية، وهو عيب لن ينكره حتى أكثر المدافعين عنها حماسة.
ومن هنا تأتي مشكلة اللغتين: يقوم الباحثون بنموذج أولي بلغة بايثون البطيئة والودية، ولكن بالنسبة للأجزاء ذات الأداء الحاسم، يعيدون الكتابة بلغات أسرع وأقل سهولة مثل C++ أو Rust. لا يمكن حل هذا القيد عن طريق إنشاء فصيلة من وكلاء تشفير الذكاء الاصطناعي، لأنه بغض النظر عن مدى تحسينك للغة البطيئة، فإن اللغة الأسرع سوف تتفوق عليها.
توجد هذه المقايضات الثنائية في مجالات أخرى. يمكنك القول أن البناء، على سبيل المثال، لديه مشكلة مادتين. يعد الخشب مادة مرنة لإنشاء نماذج أولية للهيكل، حتى أن أحد الهواة يمكنه رؤية مبنى عملي وتثبيته معًا. لكنها ليست جيدة لبناء ناطحة سحاب. وهذا يثير سؤالاً واضحًا: ماذا لو كانت هناك مادة يمكن التحكم بها مثل الخشب ولكنها قوية مثل الفولاذ؟ ماذا لو كانت هناك لغة مريحة مثل بايثون ولكن بنفس سرعة لغة C؟
في عام 2012، أربعة اجتمع علماء الكمبيوتر ذوو النوايا الرياضية القوية معًا لمعالجة مشكلة اللغتين في العصر الحديث. وفي مقال قصير بعنوان “لماذا أنشأنا جوليا”، قالوا إنهم تولوا المشروع “لأننا جشعون”. يبدأ النص الخاص بهم مثل عيد الحب بالنسبة للغات البرمجة:
نحن مستخدمو Matlab المتميزون. البعض منا هم قراصنة Lisp. بعضهم من أنصار لغة بايثون، والبعض الآخر من أنصار روبي، والبعض الآخر من قراصنة بيرل… لقد أنشأنا مؤامرات بحث أكثر مما ينبغي لأي شخص عاقل. C هي لغة البرمجة الخاصة بالجزيرة الصحراوية.
لكنهم كتبوا أن كل واحدة من هذه اللغات “مثالية لبعض جوانب العمل وفظيعة بالنسبة لجوانب أخرى”. وعلى الرغم من جشعهم، فقد أرادوا “لغة مفتوحة المصدر، بترخيص ليبرالي… شيء من السهل جدًا تعلمه، ولكنه في الوقت نفسه يسعد أخطر المتسللين”. ستكون جوليا هي اللغة الوحيدة التي توحدهم جميعًا.
