सदस्य : लॉगिन |पंजीकरण |अपलोड ज्ञान
खोज
एमएल: प्रोग्रामिंग भाषा [संशोधन ]
एमएल ('मेटा लैंग्वेज') एक सामान्य उद्देश्य वाली कार्यात्मक प्रोग्रामिंग भाषा है। इसकी लिस्प में जड़ें हैं, और इसे "प्रकार के साथ लिस्प" के रूप में चिह्नित किया गया है। यह पॉलिमॉर्फिक हिंडली-मिलनर प्रकार प्रणाली के उपयोग के लिए जाना जाता है, जो स्वचालित रूप से स्पष्ट प्रकार की टिप्पणियों के बिना अधिकांश अभिव्यक्तियों को निर्दिष्ट करता है, और प्रकार की सुरक्षा सुनिश्चित करता है - एक औपचारिक प्रमाण है कि एक अच्छी तरह से टाइप किए गए एमएल प्रोग्राम रनटाइम का कारण नहीं बनता है त्रुटियों को टाइप करें। एमएल फ़ंक्शन तर्क, कचरा संग्रह, अनिवार्य प्रोग्रामिंग, कॉल-बाय-वैल्यू और करीइंग के लिए पैटर्न मिलान प्रदान करता है। इसका उपयोग प्रोग्रामिंग भाषा अनुसंधान में भारी रूप से किया जाता है और औपचारिक अर्थशास्त्र का उपयोग करके पूरी तरह से निर्दिष्ट और सत्यापित होने वाली कुछ भाषाओं में से एक है। इसके प्रकार और पैटर्न मिलान इसे अच्छी तरह अनुकूल बनाते हैं और आम तौर पर अन्य औपचारिक भाषाओं जैसे कि कंपाइलर लेखन, स्वचालित प्रमेय सिद्ध करने और औपचारिक सत्यापन पर काम करने के लिए उपयोग किए जाते हैं।
[प्रभावशाली प्रोग्रामिंग][सॉफ्टवेर डिज़ाइन][एडिनबर्ग विश्वविद्यालय][सिस्टम टाइप करें][अनुमान टाइप करें][सुरक्षा टाइप करें][Clojure][चक्रवात: प्रोग्रामिंग भाषा][C][एफ तीव्र: प्रोग्रामिंग भाषा][Nemerle][Erlang: प्रोग्रामिंग भाषा][स्कैला: प्रोग्रामिंग भाषा][लिस्प: प्रोग्रामिंग भाषा][डाटा प्रकार][कचरा संग्रह: कंप्यूटर विज्ञान][Currying][अर्थशास्त्र: कंप्यूटर विज्ञान][स्वचालित प्रमेय साबित करना]
1.अवलोकन
2.उदाहरण
2.1.कारख़ाने का
2.2.सूची रिवर्स
2.3.मॉड्यूल
[अपलोड अधिक अंतर्वस्तु ]


सर्वाधिकार @2018 Lxjkh