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

ميركوري هي لغة برمجة منطقية وظيفية مصممة للاستخدامات العملية. طُوّرت النسخة الأولى منها في قسم علوم الحاسوب بجامعة ملبورن ، على يد فيرغوس هندرسون وتوماس كونواي وزولتان سوموجي، تحت إشراف سوموجي، وصدرت في 8 أبريل 1995.

ميركوري هي لغة برمجة منطقية تصريحية بحتة . وهي مرتبطة بكل من برولوج وهاسكل . [ 2 ^{] تتميز بنظام} أنواع قوي وثابت ومتعدد الأشكال ، ونظام أنماط وحتمية قوي.

يتوفر التطبيق الرسمي، وهو برنامج Melbourne Mercury Compiler، لمعظم أنظمة Unix والأنظمة الشبيهة بـ Unix ، بما في ذلك Linux و macOS و Windows .

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

صُممت هذه اللغة باستخدام مبادئ هندسة البرمجيات . وعلى عكس التطبيقات الأصلية للغة برولوج، فهي تحتوي على مرحلة ترجمة منفصلة ، ​​بدلاً من تفسيرها مباشرةً. وهذا يسمح باكتشاف نطاق أوسع بكثير من الأخطاء قبل تشغيل البرنامج. وتتميز بنظام أنواع وأنماط ثابت صارم ^{[ 2 ]} ونظام وحدات.

باستخدام المعلومات المُستقاة أثناء عملية الترجمة (مثل النوع والوضع)، عادةً ما تُنفَّذ البرامج المكتوبة بلغة ميركوري بسرعة أكبر بكثير من البرامج المكافئة المكتوبة بلغة برولوج. ^{[ 3 ] [ 4 ]} ويزعم مطوروها أن ميركوري هي أسرع لغة منطقية في العالم، بفارق كبير. ^{[ 2 ]}

ميركوري لغة وصفية بحتة ، على عكس برولوج ، إذ تفتقر إلى عبارات برولوج غير المنطقية مثل !(cut) وعمليات الإدخال/الإخراج الإجرائية (I/O). يُمكّن هذا من إجراء تحليل ثابت متقدم للبرامج وتحسينها ، بما في ذلك جمع البيانات المهملة في وقت الترجمة ^{[ 5 ]} ، ولكنه قد يُصعّب التعبير عن بعض بنيات البرمجة (مثل التبديل بين عدد من الخيارات، مع قيمة افتراضية ). مع أن ميركوري تسمح بوظائف غير نقية، إلا أنها تُستخدم أساسًا كوسيلة لاستدعاء شيفرة لغات أخرى. يجب تمييز جميع الشيفرة غير النقية صراحةً. تُعبّر العمليات التي تُعتبر عادةً غير نقية (مثل الإدخال/الإخراج ) باستخدام بنيات نقية في ميركوري باستخدام أنواع خطية ، وذلك بتمرير قيمة وهمية للعالم عبر جميع الشيفرة ذات الصلة.

من أبرز البرامج المكتوبة بلغة ميركوري مُجمِّع ميركوري ومُنسِّق برينس XML . كما تستخدم شركة البرمجيات ODASE لغة ميركوري لتطوير منصتها لتطوير البرمجيات التي تركز على علم الوجود، ODASE. ^{[ 6 ]}

يحتوي برنامج ميركوري على العديد من الأنظمة الخلفية، والتي تُمكّن من ترجمة كود ميركوري إلى لغات متعددة، بما في ذلك:

مرحبا بالعالم :

:- الوحدة مرحبا . :- الواجهة . :- import_module io . :- pred main ( io : :di , io : :uo ) هو det .:- implementation . main (! IO ) :- io . write_string ( "Hello, World!\n" , ! IO ).

حساب العدد العاشر من متتالية فيبوناتشي (بأبسط طريقة): ^{[ 7 ]}

:- وحدة فيب . :- الواجهة . :- import_module io . :- pred main ( io : :di , io : :uo ) هو det .:- التنفيذ . :- استيراد_الوحدة int .:- func fib ( int ) = int . fib ( N ) = ( if N =< 2 then 1 else fib ( N - 1 ) + fib ( N - 2 )).main (! IO ) :- io . write_string ( "fib(10) = " , ! IO ), io . write_int ( fib ( 10 ), ! IO ), io . nl (! IO ). % يمكن استخدام io.format("fib(10) = %d\n", [i(fib(10))], !IO).

!IOهو "متغير حالة"، وهو اختصار برمجي لزوج من المتغيرات التي يتم تعيين أسماء محددة لها أثناء عملية الترجمة؛ على سبيل المثال، يتم تبسيط ما سبق إلى شيء مثل:

main ( IO0 , IO ) :- io . write_string ( "fib(10) = " , IO0 , IO1 ), io . write_int ( fib ( 10 ), IO1 , IO2 ), io . nl ( IO2 , IO ).

كان نظام تسمية الإصدارات المستقرة يبدأ من 0.1 وينتهي بـ 0.13 لأول ثلاثة عشر إصدارًا مستقرًا. في فبراير 2010، قرر مشروع ميركوري تسمية كل إصدار مستقر باستخدام سنة وشهر الإصدار. على سبيل المثال، 10.04 هو إصدار صدر في أبريل 2010.

كما يتم في كثير من الأحيان تقديم لمحة دورية عن إصدار نظام التطوير اليومي (ROTD).

• يقدم المطورون الدعم لبرنامج Vim
• مكتبة Flycheck لبرنامج Emacs
• يتوفر ملحق لبيئة تطوير Eclipse المتكاملة
• يتوفر ملحق لبيئة تطوير NetBeans

• كاري ، لغة منطقية وظيفية أخرى
• أليس ، وهي لهجة من لغة Standard ML
• لغة لوج توك ، وهي امتداد كائني التوجه للغة برولوج، ويتم ترجمتها إلى لغة برولوج.
• أوز/موزارت ، لغة متعددة النماذج
• لغة Visual Prolog ، وهي امتداد قوي الكتابة وموجه للكائنات للغة Prolog، مع بناء جملة جديد

• الموقع الرسمي