لغة البرمجة ML (التي تعني “اللغة الفعالة” أو “اللغة الوظيفية”) هي لغة برمجة عامة تستخدم في بناء تطبيقات الحوسبة الوظيفية. بدأ تطويرها في عام 1973 من قبل روبن ميلنر في جامعة إدنبرة. تمتاز ML بأنها لغة برمجة وظيفية تتمتع بنظام أنواع توافقي يعرف بنظام الأنواع Hindley-Milner، الذي يعين تلقائيًا أنواع معظم التعبيرات دون الحاجة إلى توضيح وتأكيد أنواعها بشكل صريح. كما أنه يضمن سلامة الأنواع، حيث يوجد دليل رسمي يثبت أن برنامج ML جيد الأنواع لا يسبب أخطاء أنواع أثناء تشغيله.
توفر ML ميزة القابلية للتطبيق على الأنماط لعناصر الدوال، وتجميع النفايات (Garbage Collection)، والبرمجة الإلزامية (Imperative Programming)، والاستدعاء حسب القيمة (Call-by-Value)، والتجزئة (Currying). يُستخدم ML بشكل كبير في بحوث لغات البرمجة وهي واحدة من القليل من اللغات التي تم تحديد مواصفاتها بالكامل والتحقق منها باستخدام الدلائل الشكلية. تعتبر قدرتها على التعامل مع أنماط وأنواع البيانات ومطابقتها لها ميزة تجعلها ملائمة ومستخدمة على نطاق واسع في عمليات التحقق الشكلي والبرمجة التفسيرية وكتابة المترجمات وإثبات النظريات التلقائية.
يمكن العثور على مزيد من المعلومات حول لغة ML في صفحتها على ويكيبيديا: ML (لغة برمجة).