एमएल फाइल क्या है?
एक एमएल फ़ाइल एक टेक्स्ट फ़ाइल है जिसे सामान्य उद्देश्य कार्यात्मक प्रोग्रामिंग भाषा एमएल (जिसे अक्सर मेटा भाषा के रूप में जाना जाता है) के साथ बनाया जाता है। इसमें एमएल स्रोत कोड होता है जो पूरी तरह से परिभाषित शब्दार्थों का उपयोग करके प्रोग्रामिंग भाषा अनुसंधान और डिजाइन में अधिक बार उपयोग किया जाता है। व्यापक रूप से उपयोग किए जाने वाले कैमल के साथ एमएल के कई रूप हैं। अन्य में ऑब्जेक्टिव कैमल (ओकैमल), जोकैमल, एक्सटेंडेड एमएल और मैक्रोएमएल शामिल हैं। एमएल भाषा आमतौर पर संकलक लेखन, स्वचालित प्रमेय साबित करने और औपचारिक सत्यापन के लिए उपयोग की जाती है।