لغة MacroML هي لغة برمجة تجريبية تستند إلى عائلة لغات برمجة ML، والتي تسعى إلى توفير توافق بين نظام ML الثابت للكتابة وأنواع أنظمة الماكرو التي توجد عادة في لغات البرمجة ذات الطبيعة الديناميكية مثل Scheme. يعتبر هذا التوفيق صعبًا لأن تحويلات الماكرو عادة ما تكون قادرة على تنفيذ عمليات تورينغ كاملة، وبالتالي قد تكسر ضمانات السلامة النوعية التي يفترض أن توفرها الكتابة الثابتة.
يعود أصل لغة MacroML إلى جامعتي Indiana و Yale University. وهي تهدف إلى جمع أفضل ما في كل من أنظمة الكتابة الثابتة وأنظمة الماكرو الديناميكية، مما يتيح للمبرمجين الاستفادة من ميزات الكتابة الثابتة مثل السلامة النوعية وتحليل البرمجيات، بجانب مرونة وقوة أنظمة الماكرو.
يمكن العثور على مزيد من المعلومات حول لغة MacroML في صفحتها على ويكيبيديا: MacroML – Wikipedia
يرجى ملاحظة أن بعض التفاصيل الفنية قد لا تتوفر بشكل كامل، مثل الميزات المحددة للغة مثل وجود التعليقات الخطية والتنسيق الدلالي، وذلك لعدم توفر المعلومات حولها.