لغات البرمجة

Dependent ML: Overview and Features

لغة البرمجة المعروفة باسم Dependent ML (DML) هي لغة برمجة تجريبية تم اقتراحها من قبل هونجوي زي (Hongwei Xi) وفرانك بفينينغ (Frank Pfenning). تقوم Dependent ML بتوسيع لغة البرمجة ML عن طريق مفهوم مقيد لأنواع البيانات التابعة: يمكن أن تكون الأنواع تابعة للفهرسات الثابتة من نوع Nat (الأعداد الطبيعية). تستخدم Dependent ML مبرهنة نظرية القيد لتقرير نظرية معادلة قوية على تعابير الفهرس. لا تعتمد أنواع DML على قيم التشغيل – ما زال هناك تمييز بين مرحلة التجميع وتنفيذ البرنامج. من خلال تقييد عمومية أنواع التبعية الكاملة يظل فحص الأنواع قابلاً للتحديد، لكن التعيين التلقائي للأنواع يصبح غير قابل للتحديد. تم استبدال Dependent ML بلغة ATS ولم يعد تحت التطوير النشط.

يمكن العثور على مزيد من المعلومات حول Dependent ML في صفحتها على ويكيبيديا عبر الرابط التالي: Dependent ML on Wikipedia.

Dependent ML كانت تتمتع بميزات مجتمعية قوية حيث كانت تطور بواسطة مجتمع البحث والتطوير في جامعة بوسطن وجامعة كارنيجي ميلون. ومع ذلك، لم تحقق اللغة نفس الانتشار أو التبني الذي حظيت به بعض اللغات الأخرى، ومع استبدالها بـ ATS، فإنها لم تعد تحت التطوير النشط.

هذه هي بعض المعلومات الرئيسية عن Dependent ML، ويمكنك العثور على مزيد من التفاصيل في الرابط المذكور أعلاه.