كلير (لغة برمجة)

📅 آخر تحديث: ٢٢ يوليو ٢٠٢٦
✍️ نُشر في: ٢٢ يوليو ٢٠٢٦
الموسوعة الحرة

كلير هي لغة برمجة وظيفية عالية المستوى وموجهة للكائنات مع قدرات معالجة القواعد . تم تصميمها بواسطة إيف كاسو في مختبر الأبحاث e-Lab التابع لشركة بويغ ، وحصلت على تعريفها النهائي في عام 2004.

كلير تقدم:

تم نشر تطبيق Claire المرجعي ، الذي يتكون من مترجم ومترجم، كمصدر مفتوح بالكامل مع إصدار النسخة 3.3.46 في فبراير 2009. وهناك تطبيق آخر، WebClaire، مدعوم تجاريًا .

يتوفر لدى كلير، منذ عام 2022، إصدار مرجعي جديد، CLAIRE4، مكتوب بلغة Go . وله موقع إلكتروني جديد يحتوي على وثائق وأمثلة، بالإضافة إلى مستودع مفتوح المصدر على GitHub .

ملخص

كلير هي لغة برمجة متعددة الأغراض ، وهي الأنسب لبرامج التطبيقات التي تتطلب نمذجة بيانات متطورة ، أو معالجة قواعد، أو حل مشكلات. وتضيف WebClaire امتدادات لتحقيق تكامل كامل مع نظام التشغيل ولبرمجة تطبيقات الويب .

على الرغم من إمكانية استخدام Claire للمشاريع الكاملة، إلا أنها مصممة للتكامل بسلاسة مع C++ أو Java أو Go .

إنّ مجموعة الميزات الرئيسية التي تميّز لغة كلير عن لغات البرمجة الأخرى قد تمّ تحديدها من خلال الخبرة المكتسبة في حلّ مسائل التحسين المعقدة. ومن بين الميزات غير الموجودة في لغات البرمجة المختلطة الوظيفية/الكائنية الأخرى، مثل OCaml و Scala و F# ، نظام التحكم في الإصدارات وقواعد الإنتاج .

يمكن اعتبار الإصدارات بمثابة مجموعة من اللقطات لجزء من النظام، ويمكن جعلها كبيرة (لزيادة التعبير) أو صغيرة (لتحسين الكفاءة) حسب الحاجة. يسمح إنشاء الإصدارات والتراجع عنها بالتراجع ، كما هو الحال في البرمجة المنطقية ، مع العلم أن التراجع في برنامج كلير قد يشمل أي بنية معرفة من قبل المستخدم وليس فقط مجموعة من المتغيرات المنطقية.

تتألف قاعدة الإنتاج في لغة كلير من حدث وشرط واستجابة يتم تقييمها عند تحقق الشرط. قد يكون الحدث أي تغيير في خانة كائن أو إنشاء نسخة من فئة، وقد تؤدي الاستجابة نفسها إلى إطلاق أحداث أخرى. تُعد قواعد الإنتاج هذه مفيدة بشكل خاص في وصف الخوارزميات التفاعلية، مثل تلك الخاصة بنشر القيود .

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

مثال

دالة لحساب العدد النوني في متتالية فيبوناتشي :

fib(n: عدد صحيح) : عدد صحيح -> (إذا كان (ن < 2) 1 وإلا fib(n - 1) + fib(n - 2))