التعلم الآلي التابع

لغة البرمجة Dependent ML ( DML ) هي لغة برمجة تجريبية، متعددة الأنماط ، عامة الأغراض ، عالية المستوى ، وظيفية، اقترحها هونغوي شي ( شي، 2007 ) وفرانك بفينينغ . وهي لهجة من لغة البرمجة ML . تُوسّع Dependent ML لغة ML بمفهوم مُقيّد للأنواع التابعة : حيث يمكن أن تعتمد الأنواع على مؤشرات ثابتة من النوع ( الأعداد الطبيعية ). تستخدم Dependent ML مُثبت نظرية القيود لتحديد نظرية معادلات قوية على تعبيرات المؤشرات.Nat

لا تعتمد أنواع لغة معالجة البيانات (DML) على قيم وقت التشغيل - لا يزال هناك تمييز بين مرحلتي تجميع البرنامج وتنفيذه. ^{[ 1 ]} بتقييد عمومية الأنواع التابعة بالكامل، يظل التحقق من النوع قابلاً للتقرير ، لكن استنتاج النوع يصبح غير قابل للتقرير.

تم استبدال Dependent ML بـ ATS ولم يعد قيد التطوير النشط.

• شي، هونغوي (مارس 2007). "البرمجة التبعية ML: مدخل للبرمجة العملية باستخدام الأنواع التابعة" . مجلة البرمجة الوظيفية . 17 (2): 215-286 . doi : 10.1017/S0956796806006216 . S2CID 45996427 . 
• ديفيد أسبينال ومارتن هوفمان (2005). "الأنواع التابعة". في بيرس، بنجامين سي. (محرر) مواضيع متقدمة في الأنواع ولغات البرمجة . مطبعة معهد ماساتشوستس للتكنولوجيا.

• الموقع الرسمي ، هونغوي شي، مصمم نظام تتبع المتقدمين، القائم بالصيانة
• الصفحة الرئيسية لـ DML مؤرشفة بتاريخ 13 ديسمبر 2009 على موقع Wayback Machine