لغة البرمجة MiniML هي لغة برمجة تم تطويرها في جامعة ليوبليانا (University of Ljubljana)، وهي تندرج ضمن فئة لغات البرمجة ذات النوع الثابت (Statically Typed). تم إطلاقها في عام 2013، وتتميز بأنها لغة وظيفية (Functional)، حيث تدعم البرمجة بناءً على الدوال والتلاعب بالبيانات بشكل مباشر.
يتميز MiniML بكونه يتبع نمط البرمجة الوظيفية ويدعم الدوال المتجاورة (Recursive Functions). يتم تحليله وتنفيذه من خلال مترجم (Compiler) يترجم الشفرة المكتوبة بلغة MiniML إلى لغة مستوى أعلى تفهمها الآلة الوظيفية (Abstract Machine).
تعتمد MiniML على نمط التطبيق الحثي (Eager)، حيث يتم حساب القيم فورا دون انتظار الحاجة إلى استدعائها. وتعتمد على النوع الثابت (Statically Typed)، مما يعني أنها تتحقق من صحة الأنواع أثناء ترجمة الشفرة وليس في وقت التنفيذ.
تمتلك MiniML موقع رسمي على الويب يمكن الاطلاع عليه من خلال الرابط التالي: MiniML Website.
مع ذلك، لا توجد معلومات متوفرة عن مطوري اللغة أو التفاصيل الأخرى المتعلقة بمشروعها على GitHub أو في ويكيبيديا حتى الآن.
يمكن استخدام MiniML لتطوير تطبيقات وبرامج مختلفة، خاصةً تلك التي تستفيد من البرمجة الوظيفية والتعامل مع البيانات بشكل فعال وبسيط.