एमएल

एमएल (“मेटा लैंग्वेज”) एक सामान्य प्रयोजन वाली कार्यात्मक प्रोग्रामिंग भाषा है। एमएल स्टेटिकली-स्कोप्ड है। यह पॉलीमॉर्फिक हिंडले-मिलनर प्रकार प्रणाली के उपयोग के लिए जाना जाता है, जो स्पष्ट प्रकार के एनोटेशन की आवश्यकता के बिना स्वचालित रूप से अधिकांश अभिव्यक्तियों के प्रकारों को निर्दिष्ट करता है, और प्रकार की सुरक्षा सुनिश्चित करता है – एक औपचारिक प्रमाण है कि एक अच्छी तरह से टाइप किए गए एमएलएम मुद्दे रनटाइम का कारण नहीं हैं।