De Bruijn Index

  • Binary Lambda Calculus: Overview

    لغة البرمجة “الحساب اللامعقول الثنائي” (Binary Lambda Calculus)، المختصرة باسم BLC، هي لغة برمجة وظيفية نقية وبسيطة ابتكرها جون ترومب في عام 2004، وتمثل ترميزاً ثنائياً للحساب اللامعقول غير المنظم بتعبير مؤشر دي بروين (De Bruijn index notation).

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

    تم تطوير BLC كلغة برمجة غريبة (Esolang)، مما يعني أنها غير مخصصة للاستخدام العملي وإنما تستخدم كموضوع للتجربة أو الفن أو لأغراض تعليمية. تعتبر Esolangs مجالًا فرعيًا من تصميم اللغات البرمجية يهدف إلى استكشاف الأفكار الغير تقليدية في التصميم اللغوي.

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

    يعتبر المجتمع الأصلي الذي نشأت فيه BLC هو “Centrum Wiskunde & Informatica”.

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

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

    لمزيد من المعلومات، يمكن الاطلاع على الموقع الرسمي لـ BLC.