BURAN هي لغة برمجة حيث كل شيء هو نمط وكل الحوسبة تتم من خلال تحويل الانماط.
["!تحياتنا"] ↦ [stdout]
مضروب {
[0] ↦ [1]
[𝑛] ↦ [𝑛 × مضروب(𝑛 − 1)]
}
مضروب([5]) ↦ [120]
لا توجد كلمات مفتاحية مثل if أو return أو match — الأنماط هي المنطق. الترميز الرياضي القياسي (×، −، 𝑛) يجعل التعريفات قابلة للقراءة كصيغ. سهم التحويل ↦ يُظهر تدفق البيانات بوضوح.
بدلا من وصف الاجراءات او تسلسل العمليات، تحدد برامج بوران كيف تتحول انماط البيانات الى انماط اخرى، مما يخلق نموذجا حسابيا انيقا وموحدا. صممت مع مراعاة البرمجة والتطوير غير البشري، فان بناء الجملة المتسق والدلالات الواضحة لبوران تجعلها مثالية للتوليد الآلي مع بقائها قابلة للقراءة من قبل البشر—بما في ذلك المتخصصون غير المبرمجين مثل علماء الرياضيات الذين يمكنهم كتابة البرامج باستخدام الترميز القياسي ISO 80000-2، واللغويون الذين يمكنهم التعبير عن القواعد النحوية مباشرة كتحويلات انماط.
قيد التطوير — المواصفات والتنفيذ المرجعي متاحان في اوائل 2026
النماذج
تتبنى بوران نماذج حسابية متعددة موحدة تحت نموذج تحويل الانماط:
التطبيقات
اللسانيات الحاسوبية
تتفوق بوران في مهام معالجة اللغة الطبيعية حيث يجب تحليل النص وتحويله وهيكلته. اساسها في مطابقة الانماط يجعل من الطبيعي التعبير عن القواعد النحوية والتحويلات الصرفية والتحليل النحوي. دعم اللغة ليونيكود ومجموعات الحروف الموسعة يضمن المعالجة الصحيحة للنص بأي لغة بشرية.
الحوسبة الرياضية
مع الدعم الاصلي للترميز الرياضي وفقا لمعايير ISO، تتيح بوران لعلماء الرياضيات والعلماء كتابة التعبيرات كما يفعلون على الورق. التقييم الخاص بالمجال للمصفوفات والاعداد المركبة والحساب الرمزي والاحصاء يتيح حوسبة رياضية متطورة مع الحفاظ على وضوح الترميز.
البرمجة العامة
بعيدا عن المجالات المتخصصة، تعمل بوران كلغة عامة قادرة. نموذج تحويل الانماط الخاص بها يعبر بشكل طبيعي عن خطوط انابيب معالجة البيانات وتحويلات التكوين واي مهمة تتضمن التعرف على البنية وانتاج المخرجات المقابلة.
الحوسبة الرمزية
جذور اللغة في المعالجة الرمزية تجعلها مثالية لانظمة الجبر الحاسوبي ومثبتات النظريات وادوات التحقق الرسمي. يمكن للانماط تمثيل التعبيرات الرياضية والصيغ المنطقية او اي بيانات رمزية منظمة.
الفلسفة
في جوهرها، تجسد بوران الاعتقاد بان الحوسبة هي في الاساس حول التعرف على الانماط وانتاج النتائج المقابلة. من خلال جعل الانماط مواطنين من الدرجة الاولى والتحويل العملية الشاملة، تحقق اللغة اتساقا ملحوظا: هياكل البيانات وتعريفات الوظائف واعلانات الانواط وعمليات الادخال/الاخراج تتبع جميعها نفس النموذج القائم على الانماط.
تتبنى اللغة يونيكود ليس كفكرة لاحقة بل كقرار تصميم اساسي، مما يسمح للبرامج بأن تقرأ بشكل طبيعي سواء كانت تعبر عن قواعد لغوية او صيغ رياضية او خوارزميات عامة.
الاصول
تجمع بوران افكارا من ستة عقود من البحث في لغات البرمجة، مستمدة بشكل خاص من اللغات التي عاملت التلاعب الرمزي ومطابقة الانماط كعمليات اساسية.
اشتادهيايي بانيني
~400 ق.م.اول نظام لغوي رسمي. تتكون قواعد بانيني السنسكريتية من حوالي 4000 قاعدة جبرية لاعادة الكتابة تحول الانماط اللغوية الى اشكال سطحية. هذه التحفة الهندية سبقت الحوسبة الحديثة بألفي عام—سوتراتها هي قواعد تحويل انماط، مما يجعلها السلف المفاهيمي لكل البرمجة القائمة على القواعد.
الترميز الرياضي
1557اللغة الرسمية للرياضيات. طور علماء الرياضيات ترميزا رمزيا دقيقا على مر القرون للتعبير عن الافكار المعقدة بشكل موجز ولا لبس فيه. تعامل بوران الترميز الرياضي القياسي ككود قابل للتنفيذ مباشرة، متبعة اتفاقيات ISO 80000-2.
ليسب
1958لغة الحوسبة الرمزية الاصلية. اثبتت ليسب ان البرامج والبيانات يمكن ان تشترك في نفس التمثيل، مما يتيح البرمجة الوصفية والتلاعب الرمزي. ترث بوران هذه التماثلية من خلال بناء جملتها الشامل للانماط.
سنوبول
1962رائدة في مطابقة انماط السلاسل المتطورة مع التراجع. اثبتت سنوبول ان مطابقة الانماط يمكن ان تكون بنية تحكم اساسية، وليس مجرد عملية سلاسل.
ريفال
1966السلف الاكثر مباشرة. طورت في الاتحاد السوفيتي، قدمت ريفال تحويل الانماط كنموذج حسابي كامل. وفقا للتقارير، استخدمت ريفال لبرمجة انظمة الطيران المستقل لمكوك الفضاء السوفيتي بوران—الذي سميت اللغة باسمه.
برولوغ
1972جلبت مطابقة الانماط الى البرمجة المنطقية من خلال التوحيد. اظهرت برولوغ ان المواصفات التصريحية القائمة على الانماط يمكن ان تحل محل الخوارزميات الامرية.
إم إل
1973دمجت مطابقة الانماط مع الكتابة الثابتة وانواع البيانات الجبرية. اثبتت إم إل ان مطابقة الانماط وسلامة الانواع يمكن ان تتعايشا بأناقة.
أي بي إل
1966اثبتت ان الترميز الرياضي يمكن ان يكون قابلا للتنفيذ. استخدام أي بي إل للرموز الخاصة لعمليات المصفوفات سبق تبني بوران ليونيكود للتعبير الرياضي الطبيعي.
لغة وولفرام
1988جمعت مطابقة الانماط الرمزية مع الرياضيات الحاسوبية. اثرت قواعد التحويل واستراتيجيات التقييم الخاصة بالمجال في لغة وولفرام مباشرة على نهج بوران.
هاسكل
1990صقلت مطابقة الانماط في سياق وظيفي بحت مع التقييم الكسول. اثرت الحراس وجمل where وبناء جملة الانماط في هاسكل على نظام حراس الانماط في بوران.
من هذه الاسس، تظهر بوران كتوليفة: قواعد اعادة الكتابة لبانيني، والدقة الرسمية للترميز الرياضي، ونموذج التحويل لريفال، والمرونة الرمزية لليسب، وتطور انماط سنوبول، والوضوح التصريحي لبرولوغ، وانضباط انواع إم إل، والجرأة الترميزية لأي بي إل، والمجالات الرياضية لوولفرام، والاناقة الوظيفية لهاسكل.
هذه التوليفة تضع بوران لعصر جديد من الحوسبة. دلالاتها المتسقة القائمة على الانماط تجعلها مناسبة بشكل مثالي للتوليد الآلي—يمكن لانظمة الذكاء الاصطناعي انتاج كود بوران صحيح بشكل اكثر موثوقية من اللغات المثقلة بالمخالفات التاريخية. ومع ذلك، فان نفس الاتساق، مقترنا بالترميز الاصلي للمجال، يجعل بوران سهلة الوصول حقا للمتخصصين الذين لم يبرمجوا قط.
إكس-بوران
يعمل المعرف x-buran كهوية تقنية موحدة عبر سياقات متعددة:
رمز اللغة
علامة استخدام خاص صالحة وفق BCP 47. استخدم lang="x-buran" في HTML او Content-Language: x-buran في HTTP لتحديد كود بوران المصدري في السياقات متعددة اللغات.
النطاق
الموقع الرسمي على x-buran.com. التوثيق والمواصفات والموارد للغة البرمجة بوران.
رأس HTTP
يمكن للرؤوس المخصصة مثل X-Buran-Version او X-Buran-Domain نقل البيانات الوصفية حول المحتوى المعالج بواسطة بوران عبر طبقة البروتوكول.
الابداع
مبرمج. لغوي. خريج هارفارد. قام بتدريس اول درس برمجة لزملائه في الصف الثالث الابتدائي.
ابتكر بوران في عام 2025، مستلهما من عقود من البحث في الحوسبة الرمزية ولغات مطابقة الانماط لانشاء لغة حديثة لعصر جديد من الحوسبة.