ما هو ملف ML؟
ملف ML هو ملف نصي تم إنشاؤه باستخدام لغة البرمجة الوظيفية للأغراض العامة ML (المعروفة غالبًا باسم Meta Language). يحتوي على كود مصدر ML الذي يستخدم غالبًا في أبحاث وتصميم لغة البرمجة باستخدام دلالات محددة تمامًا. هناك العديد من الاختلافات في ML مع Caml باعتباره النوع المستخدم على نطاق واسع. تشمل البرامج الأخرى Objective Caml (OCaml) و JoCaml و Extended ML و MacroML. تُستخدم لغة ML بشكل شائع لكتابة المترجم وإثبات النظرية الآلية والتحقق الرسمي.
