न्यू जर्सी के मानक एमएल: Difference between revisions
(→विकास) |
(→विकास) |
||
Line 28: | Line 28: | ||
* '''अनसेफ एक्सेस''' - <code>Unsafe</code>संरचना डेटा संरचनाओं और रनटाइम-सिस्टम फ़ंक्शंस तक असुरक्षित पहुंच प्रदान करती है।<ref>{{Cite web|url=https://www.smlnj.org/doc/SMLofNJ/pages/unsafe.html|title=असुरक्षित संरचना|website=www.smlnj.org|access-date=2018-09-05}}</ref> | * '''अनसेफ एक्सेस''' - <code>Unsafe</code>संरचना डेटा संरचनाओं और रनटाइम-सिस्टम फ़ंक्शंस तक असुरक्षित पहुंच प्रदान करती है।<ref>{{Cite web|url=https://www.smlnj.org/doc/SMLofNJ/pages/unsafe.html|title=असुरक्षित संरचना|website=www.smlnj.org|access-date=2018-09-05}}</ref> | ||
*'''विसिबल कंपाइलर स्ट्रक्चर''' - SML/NJ में ऐसी संरचनाएं भी शामिल हैं जो ML कंपाइलर तक पहुंच प्रदान करती हैं, जिसमें निष्पादन प्रोफाइलिंग, कंपाइलर एरर-मैसेज प्रिंटिंग और चेतावनियों का नियंत्रण, और अनुकूलन योग्य प्रेट्टी-प्रिंटिंग के लिए सब-स्ट्रक्चर शामिल हैं।<ref>{{Cite web|url=https://www.smlnj.org/doc/Compiler/pages/compiler.html|title=दृश्यमान संकलक|website=www.smlnj.org|access-date=2018-09-05}}</ref> | *'''विसिबल कंपाइलर स्ट्रक्चर''' - SML/NJ में ऐसी संरचनाएं भी शामिल हैं जो ML कंपाइलर तक पहुंच प्रदान करती हैं, जिसमें निष्पादन प्रोफाइलिंग, कंपाइलर एरर-मैसेज प्रिंटिंग और चेतावनियों का नियंत्रण, और अनुकूलन योग्य प्रेट्टी-प्रिंटिंग के लिए सब-स्ट्रक्चर शामिल हैं।<ref>{{Cite web|url=https://www.smlnj.org/doc/Compiler/pages/compiler.html|title=दृश्यमान संकलक|website=www.smlnj.org|access-date=2018-09-05}}</ref> | ||
इसके अतिरिक्त, SML/NJ कुछ वाक्यात्मक संरचनाएँ प्रदान करता है जो SML'97 की | इसके अतिरिक्त, SML/NJ कुछ वाक्यात्मक संरचनाएँ प्रदान करता है जो SML'97 की स्टैंडर्ड विशेषताएँ नहीं हैं:<ref name=":0" /> | ||
* '''वेक्टर एक्सप्रेशन एंड पैटर्न्स''' - SML/NJ <code>#[''exp''<sub>0</sub>, ''exp''<sub>1</sub>, ..., ''exp<sub>n</sub>''<sub>−1</sub>]</code>सिंटैक्स के साथ वेक्टर के निर्माण की अनुमति देता है और उन पर समान सिंटैक्स के साथ पैटर्न-मिलान की अनुमति देता है। | * '''वेक्टर एक्सप्रेशन एंड पैटर्न्स''' - SML/NJ <code>#[''exp''<sub>0</sub>, ''exp''<sub>1</sub>, ..., ''exp<sub>n</sub>''<sub>−1</sub>]</code>सिंटैक्स के साथ वेक्टर के निर्माण की अनुमति देता है और उन पर समान सिंटैक्स के साथ पैटर्न-मिलान की अनुमति देता है। | ||
* '''Or-पैटर्न''' - SML/NJ एक ही नियम में कई पैटर्न के मिलान की अनुमति देने के लिए एसएमएल'97 पैटर्न के सिंटैक्स का विस्तार करता है, बशर्ते प्रत्येक पैटर्न का एक ही प्रकार हो, <code>(''apat''<sub>1</sub> | ... | ''apat<sub>n</sub>'') => exp</code>का उपयोग करके। | * '''Or-पैटर्न''' - SML/NJ एक ही नियम में कई पैटर्न के मिलान की अनुमति देने के लिए एसएमएल'97 पैटर्न के सिंटैक्स का विस्तार करता है, बशर्ते प्रत्येक पैटर्न का एक ही प्रकार हो, <code>(''apat''<sub>1</sub> | ... | ''apat<sub>n</sub>'') => exp</code>का उपयोग करके। | ||
* '''ऑब्जेक्ट लैंग्वेज एम्बेडिंग''' - SML/NJ उद्धरण/एंटीकोट सिंटैक्स प्रदान करता है जो | * '''ऑब्जेक्ट लैंग्वेज एम्बेडिंग''' - SML/NJ उद्धरण/एंटीकोट सिंटैक्स प्रदान करता है जो ML एक्सप्रेशंस और फंक्शन्स के भीतर किसी ऑब्जेक्ट लैंग्वेज के हार्ड सिंटैक्स में एक्सप्रेशंस को एम्बेड करने की अनुमति देता है।<ref>{{Cite web|url=https://www.smlnj.org/doc/quote.html|title=SML/NJ Quote/Antiquote|website=www.smlnj.org|access-date=2018-09-05}}</ref> | ||
* '''हायर-आर्डर मॉड्यूल''' - SML/NJ, फ़ैक्टर के रूप में | * '''हायर-आर्डर मॉड्यूल''' - SML/NJ, फ़ैक्टर के रूप में स्टैंडर्ड ML के पैरामीट्रिक मॉड्यूल के अलावा, फ़ैक्टर को स्ट्रक्चर के घटक बनने की अनुमति देकर फ़ैक्टर के पैरामीट्रिज़ेशन का समर्थन करता है। | ||
==विकास== | ==विकास== | ||
'''सक्सेसर ML''' एक शब्द है जिसका उपयोग भाषा के अगले संस्करण का वर्णन करने के लिए किया जाता है। इसका वर्णन करने वाले दस्तावेज़ SML/NJ '97 फ़ाइलों से निकाले गए हैं और [[TeX]] डाक्यूमेंट्स के [[GitHub]] रिपॉजिटरी के रूप में उपलब्ध कराए गए हैं, जिससे समुदाय को सहयोग करने और भाषा को विकसित करने की उम्मीद है।<ref>{{cite web|url=https://github.com/SMLFamily/Successor-ML|title=उत्तराधिकारी एमएल परिभाषा|website=[[GitHub]] }}</ref> सक्सेसर ML सुविधाओं को कमांड-लाइन विकल्प <code>-Cparser.succ-ml=true</code> का उपयोग करके सक्षम किया जा सकता है।<ref name="SUCC"/> | |||
कम से कम 1998 से,<ref>{{cite web|url=https://github.com/MLton/mlton/blob/master/CHANGELOG.adoc#version-19990319|title=MLton 1999-03-19 change notes|website=[[GitHub]] }}</ref> | कम से कम 1998 से,<ref>{{cite web|url=https://github.com/MLton/mlton/blob/master/CHANGELOG.adoc#version-19990319|title=MLton 1999-03-19 change notes|website=[[GitHub]] }}</ref> '''MLton'''<ref>{{cite web|url=https://github.com/MLton/mlton|title=एमएलटन भंडार|website=[[GitHub]] }}</ref> स्टैंडर्ड [[बूटस्ट्रैपिंग (संकलक)|बूटस्ट्रैपिंग]] कंपाइलर है, और इसमें सक्सेसर ML के लिए कुछ<ref name="IMPL"/> समर्थन है। | ||
2008 में, '''HaMLet''' पर काम शुरू हुआ, <ref>{{cite web|url=https://people.mpi-sws.org/~rossberg/hamlet/hamlet-succ-1.3.1S5.pdf|title=HaMLet S: To Become Or Not To Become Successor ML|author=Andreas Rossberg}}</ref> जो '''सक्सेसर ML''' का एक संदर्भ कार्यान्वयन है जो पूरी तरह से स्टैंडर्ड ML में लिखा गया है।<ref>{{cite web|url=https://github.com/rossberg/hamlet|title=एसएमएल संदर्भ दुभाषिया|website=[[GitHub]] }}</ref> 2018 तक, HaMLet अतिरिक्त नवीनताओं के साथ सक्सेसर ML का एकमात्र पूर्ण कार्यान्वयन बना हुआ है।<ref name="IMPL">{{cite web|url=https://github.com/SMLFamily/Successor-ML#implementation-efforts|title=उत्तराधिकारी एमएल का समर्थन करने के लिए तीन कार्यान्वयन प्रयास|website=[[GitHub]] }}</ref> | |||
2015 से,<ref name="CHGLOG" />SML/NJ का विकास बेसिस लाइब्रेरी को विकसित करने की दिशा में हुआ<ref>{{cite web|url=https://smlfamily.github.io/Basis/|title=The Standard ML Basis Library}}</ref> और संस्करण 110.79 के रिलीज़ के साथ सक्सेसर ML परिभाषा के लिए समर्थन जोड़ना।<ref name="SUCC">{{cite web|url=http://smlnj.org/dist/working/110.79/110.79-README.html|title=Standard ML of New Jersey version 110.79 NEWS|date=2015-10-04}}</ref> | |||
2020 के अंत में, संस्करण 110.99 की रिलीज़ के साथ [[64-बिट]] समर्थन जोड़ा गया।<ref name="CHGLOG">{{cite web|url=https://smlnj.org/dist/working/110.99/HISTORY.html|title=Standard ML of New Jersey Change Log for v110.99}}</ref> | 2020 के अंत में, संस्करण 110.99 की रिलीज़ के साथ [[64-बिट]] समर्थन जोड़ा गया।<ref name="CHGLOG">{{cite web|url=https://smlnj.org/dist/working/110.99/HISTORY.html|title=Standard ML of New Jersey Change Log for v110.99}}</ref> | ||
Revision as of 22:34, 6 August 2023
Paradigm | Multi-paradigm: functional, imperative |
---|---|
Stable release | Script error: The module returned a nil value. It is supposed to return an export table.
/ Script error: The module returned a nil value. It is supposed to return an export table. |
टाइपिंग अनुशासन | strong, static, inferred |
लाइसेंस | BSD-like license[1] |
फ़ाइल नाम एक्सटेंशनएस | .sml |
वेबसाइट | www |
Influenced by | |
Standard ML | |
Influenced | |
Mythryl |
न्यू जर्सी का स्टैंडर्ड ML (SML/NJ; न्यू जर्सी का स्टैंडर्ड मेटा-लैंग्वेज) स्टैंडर्ड ML प्रोग्रामिंग लैंग्वेज के लिए एक स्वतंत्र और ओपन-सोर्स कंपाइलर और प्रोग्रामिंग एनवायरनमेंट है। इसके रनटाइम सिस्टम के अतिरिक्त, जो C में लिखा जाता है, SML/NJ स्टैंडर्ड ML में लिखा जाता है। इसे मूल रूप से बेल लेबोरेटरीज और प्रिंसटन विश्वविद्यालय द्वारा संयुक्त रूप से विकसित किया गया था।[2]
इसका नाम अमेरिकी राज्य न्यू जर्सी,, जिसमें प्रिंसटन और बेल लैब्स स्थित हैं, और न्यू जर्सी के स्टैंडर्ड ऑयल, जो कि 20वीं सदी की शुरुआत का प्रसिद्ध ऑयल एकाधिकार था, दोनों का संदर्भ है।
सुविधाएँ
SML/NJ कई अतिरिक्त शीर्ष-स्तरीय संरचनाओं के साथ एसएमएल'97 बेसिस लाइब्रेरी का विस्तार करता है:[3]
- सिस्टम इन्फो -
SysInfo
संरचना रनटाइम सिस्टम के बारे में जानकारी प्रदान करती है, जैसे ऑपरेटिंग सिस्टम का प्रकार, प्रकार और संस्करण और मशीन मल्टीप्रोसेसिंग का समर्थन करती है या नहीं।[4] - वीक पॉइंटर -
Weak
स्ट्रक्चर वीक पॉइंटर्स के लिए समर्थन प्रदान करती है।[5] - लेजी सस्पेंशन -
Susp
स्ट्रक्चर लेजी इवैल्यूएशन के लिए आवश्यक सस्पेंशन को लागू करती है (एगर इवैल्यूएशन के विपरीत)।[6] - कंपाइलर इंटरनल्स -
Internals
संरचना कई कंपाइलर इंटरनल्स तक पहुंच प्रदान करती है, जिसमें सिग्नल टेबल को इंस्टेंट करने और संशोधित करने के तरीके भी शामिल हैं।[7] - अनसेफ एक्सेस -
Unsafe
संरचना डेटा संरचनाओं और रनटाइम-सिस्टम फ़ंक्शंस तक असुरक्षित पहुंच प्रदान करती है।[8] - विसिबल कंपाइलर स्ट्रक्चर - SML/NJ में ऐसी संरचनाएं भी शामिल हैं जो ML कंपाइलर तक पहुंच प्रदान करती हैं, जिसमें निष्पादन प्रोफाइलिंग, कंपाइलर एरर-मैसेज प्रिंटिंग और चेतावनियों का नियंत्रण, और अनुकूलन योग्य प्रेट्टी-प्रिंटिंग के लिए सब-स्ट्रक्चर शामिल हैं।[9]
इसके अतिरिक्त, SML/NJ कुछ वाक्यात्मक संरचनाएँ प्रदान करता है जो SML'97 की स्टैंडर्ड विशेषताएँ नहीं हैं:[3]
- वेक्टर एक्सप्रेशन एंड पैटर्न्स - SML/NJ
#[exp0, exp1, ..., expn−1]
सिंटैक्स के साथ वेक्टर के निर्माण की अनुमति देता है और उन पर समान सिंटैक्स के साथ पैटर्न-मिलान की अनुमति देता है। - Or-पैटर्न - SML/NJ एक ही नियम में कई पैटर्न के मिलान की अनुमति देने के लिए एसएमएल'97 पैटर्न के सिंटैक्स का विस्तार करता है, बशर्ते प्रत्येक पैटर्न का एक ही प्रकार हो,
(apat1 | ... | apatn) => exp
का उपयोग करके। - ऑब्जेक्ट लैंग्वेज एम्बेडिंग - SML/NJ उद्धरण/एंटीकोट सिंटैक्स प्रदान करता है जो ML एक्सप्रेशंस और फंक्शन्स के भीतर किसी ऑब्जेक्ट लैंग्वेज के हार्ड सिंटैक्स में एक्सप्रेशंस को एम्बेड करने की अनुमति देता है।[10]
- हायर-आर्डर मॉड्यूल - SML/NJ, फ़ैक्टर के रूप में स्टैंडर्ड ML के पैरामीट्रिक मॉड्यूल के अलावा, फ़ैक्टर को स्ट्रक्चर के घटक बनने की अनुमति देकर फ़ैक्टर के पैरामीट्रिज़ेशन का समर्थन करता है।
विकास
सक्सेसर ML एक शब्द है जिसका उपयोग भाषा के अगले संस्करण का वर्णन करने के लिए किया जाता है। इसका वर्णन करने वाले दस्तावेज़ SML/NJ '97 फ़ाइलों से निकाले गए हैं और TeX डाक्यूमेंट्स के GitHub रिपॉजिटरी के रूप में उपलब्ध कराए गए हैं, जिससे समुदाय को सहयोग करने और भाषा को विकसित करने की उम्मीद है।[11] सक्सेसर ML सुविधाओं को कमांड-लाइन विकल्प -Cparser.succ-ml=true
का उपयोग करके सक्षम किया जा सकता है।[12]
कम से कम 1998 से,[13] MLton[14] स्टैंडर्ड बूटस्ट्रैपिंग कंपाइलर है, और इसमें सक्सेसर ML के लिए कुछ[15] समर्थन है।
2008 में, HaMLet पर काम शुरू हुआ, [16] जो सक्सेसर ML का एक संदर्भ कार्यान्वयन है जो पूरी तरह से स्टैंडर्ड ML में लिखा गया है।[17] 2018 तक, HaMLet अतिरिक्त नवीनताओं के साथ सक्सेसर ML का एकमात्र पूर्ण कार्यान्वयन बना हुआ है।[15]
2015 से,[18]SML/NJ का विकास बेसिस लाइब्रेरी को विकसित करने की दिशा में हुआ[19] और संस्करण 110.79 के रिलीज़ के साथ सक्सेसर ML परिभाषा के लिए समर्थन जोड़ना।[12]
2020 के अंत में, संस्करण 110.99 की रिलीज़ के साथ 64-बिट समर्थन जोड़ा गया।[18]
यह भी देखें
बाहरी संबंध
संदर्भ
- ↑ "Standard ML of New Jersey License". www.smlnj.org.
- ↑ "SML/NJ background information". www.smlnj.org. Retrieved 2018-09-05.
- ↑ 3.0 3.1 "SML/NJ Special Features". www.smlnj.org. Retrieved 2018-09-05.
- ↑ "The SYS_INFO signature". www.smlnj.org. Retrieved 2018-09-05.
- ↑ "कमजोर हस्ताक्षर". www.smlnj.org. Retrieved 2018-09-05.
- ↑ "एसयूएसपी हस्ताक्षर". www.smlnj.org. Retrieved 2018-09-05.
- ↑ "आंतरिक हस्ताक्षर". www.smlnj.org. Retrieved 2018-09-05.
- ↑ "असुरक्षित संरचना". www.smlnj.org. Retrieved 2018-09-05.
- ↑ "दृश्यमान संकलक". www.smlnj.org. Retrieved 2018-09-05.
- ↑ "SML/NJ Quote/Antiquote". www.smlnj.org. Retrieved 2018-09-05.
- ↑ "उत्तराधिकारी एमएल परिभाषा". GitHub.
- ↑ 12.0 12.1 "Standard ML of New Jersey version 110.79 NEWS". 2015-10-04.
- ↑ "MLton 1999-03-19 change notes". GitHub.
- ↑ "एमएलटन भंडार". GitHub.
- ↑ 15.0 15.1 "उत्तराधिकारी एमएल का समर्थन करने के लिए तीन कार्यान्वयन प्रयास". GitHub.
- ↑ Andreas Rossberg. "HaMLet S: To Become Or Not To Become Successor ML" (PDF).
- ↑ "एसएमएल संदर्भ दुभाषिया". GitHub.
- ↑ 18.0 18.1 "Standard ML of New Jersey Change Log for v110.99".
- ↑ "The Standard ML Basis Library".