आश्रित एमएल: Difference between revisions
From Vigyanwiki
(Created page with "{{multiple issues| {{context|date=March 2018}} {{notability|date=March 2018}} }} डिपेंडेंट एमएल होंगवेई शी द्वारा प...") |
No edit summary |
||
| Line 1: | Line 1: | ||
{{ | '''आश्रित एमएल''' प्रस्तावित प्रयोगात्मक [[कार्यात्मक प्रोग्रामिंग भाषा]] है जिसे होंगवेई शी {{harv|Xi|2007}} और [[फ्रैंक पफेनिग]] ने प्रस्तावित किया है। आश्रित एमएल [[आश्रित प्रकार|आश्रित प्रकारों]] की प्रतिबंधित धारणा द्वारा [[एमएल प्रोग्रामिंग भाषा]] का विस्तार करता है: प्रकार नेट ([[प्राकृतिक संख्या]]) प्रकार के स्थिर सूचकांकों पर निर्भर हो सकते हैं। आश्रित एमएल सूचकांक अभिव्यक्तियों पर मजबूत समीकरण सिद्धांत का निर्णय करने के लिए बाधा प्रमेय कहावत का उपयोग करता है। | ||
आश्रित डीएमएल के प्रकार रनटाइम मानों पर निर्भर नहीं होते हैं - प्रोग्राम के संकलन और निष्पादन के बीच अभी भी चरण अंतर होता है।<ref>Aspinall & Hofmann 2005. p. 75.</ref> पूर्ण आश्रित प्रकारों की विस्तारितता को सीमित करने से प्रकार की जाँच निर्णयात्मकता (तर्क) बनी रहती है, लेकिन प्रकार का अनुमान अनिर्णीत हो जाता है। | |||
डीएमएल के प्रकार रनटाइम मानों पर निर्भर नहीं हैं - प्रोग्राम के संकलन और निष्पादन के बीच अभी भी | |||
आश्रित एमएल को [[एटीएस (प्रोग्रामिंग भाषा)]] द्वारा प्रतिस्थापित कर दिया गया है और अब सक्रिय विकास के अधीन नहीं है। | आश्रित एमएल को [[एटीएस (प्रोग्रामिंग भाषा)]] द्वारा प्रतिस्थापित कर दिया गया है और अब सक्रिय विकास के अधीन नहीं है। | ||
| Line 12: | Line 7: | ||
== संदर्भ == | == संदर्भ == | ||
{{reflist}} | {{reflist}} | ||
== अग्रिम पठन == | == अग्रिम पठन == | ||
* {{cite journal|first=Hongwei|last=Xi|date=March 2007|url=https://www.semanticscholar.org/paper/Dependent-ML-An-approach-to-practical-programming-Xi/e9a621f0da90fa13e7d48bd98c548657bb5b1896|title=Dependent ML: An Approach to Practical Programming with Dependent Types|journal=[[Journal of Functional Programming]]|volume=17|issue=2|pages=215–286|doi=10.1017/S0956796806006216|s2cid=45996427}} | * {{cite journal|first=Hongwei|last=Xi|date=March 2007|url=https://www.semanticscholar.org/paper/Dependent-ML-An-approach-to-practical-programming-Xi/e9a621f0da90fa13e7d48bd98c548657bb5b1896|title=Dependent ML: An Approach to Practical Programming with Dependent Types|journal=[[Journal of Functional Programming]]|volume=17|issue=2|pages=215–286|doi=10.1017/S0956796806006216|s2cid=45996427}} | ||
* [[David Aspinall]] and [[Martin Hofmann]] (2005). "Dependent Types". In [[Benjamin C. Pierce|Pierce, Benjamin C.]] (ed.) ''Advanced Topics in Types and Programming Languages''. MIT Press. | * [[David Aspinall]] and [[Martin Hofmann]] (2005). "Dependent Types". In [[Benjamin C. Pierce|Pierce, Benjamin C.]] (ed.) ''Advanced Topics in Types and Programming Languages''. MIT Press. | ||
== बाहरी संबंध == | == बाहरी संबंध == | ||
*The [http://www.cs.bu.edu/~hwxi/DML/DML.html home page of DML] | *The [http://www.cs.bu.edu/~hwxi/DML/DML.html home page of DML] | ||
[[Category: एमएल प्रोग्रामिंग भाषा परिवार]] [[Category: घोषणात्मक प्रोग्रामिंग भाषाएँ]] [[Category: कार्यात्मक भाषाएँ]] [[Category: निर्भरता से टाइप की जाने वाली भाषाएँ]] [[Category: प्रोग्रामिंग भाषाएँ 1990 के दशक में बनाई गईं]] [[Category: बंद की गई प्रोग्रामिंग भाषाएँ]] | [[Category: एमएल प्रोग्रामिंग भाषा परिवार]] [[Category: घोषणात्मक प्रोग्रामिंग भाषाएँ]] [[Category: कार्यात्मक भाषाएँ]] [[Category: निर्भरता से टाइप की जाने वाली भाषाएँ]] [[Category: प्रोग्रामिंग भाषाएँ 1990 के दशक में बनाई गईं]] [[Category: बंद की गई प्रोग्रामिंग भाषाएँ]] | ||
{{compu-lang-stub}} | {{compu-lang-stub}} | ||
Revision as of 18:51, 14 July 2023
आश्रित एमएल प्रस्तावित प्रयोगात्मक कार्यात्मक प्रोग्रामिंग भाषा है जिसे होंगवेई शी (Xi 2007) और फ्रैंक पफेनिग ने प्रस्तावित किया है। आश्रित एमएल आश्रित प्रकारों की प्रतिबंधित धारणा द्वारा एमएल प्रोग्रामिंग भाषा का विस्तार करता है: प्रकार नेट (प्राकृतिक संख्या) प्रकार के स्थिर सूचकांकों पर निर्भर हो सकते हैं। आश्रित एमएल सूचकांक अभिव्यक्तियों पर मजबूत समीकरण सिद्धांत का निर्णय करने के लिए बाधा प्रमेय कहावत का उपयोग करता है।
आश्रित डीएमएल के प्रकार रनटाइम मानों पर निर्भर नहीं होते हैं - प्रोग्राम के संकलन और निष्पादन के बीच अभी भी चरण अंतर होता है।[1] पूर्ण आश्रित प्रकारों की विस्तारितता को सीमित करने से प्रकार की जाँच निर्णयात्मकता (तर्क) बनी रहती है, लेकिन प्रकार का अनुमान अनिर्णीत हो जाता है।
आश्रित एमएल को एटीएस (प्रोग्रामिंग भाषा) द्वारा प्रतिस्थापित कर दिया गया है और अब सक्रिय विकास के अधीन नहीं है।
संदर्भ
- ↑ Aspinall & Hofmann 2005. p. 75.
अग्रिम पठन
- Xi, Hongwei (March 2007). "Dependent ML: An Approach to Practical Programming with Dependent Types". Journal of Functional Programming. 17 (2): 215–286. doi:10.1017/S0956796806006216. S2CID 45996427.
- David Aspinall and Martin Hofmann (2005). "Dependent Types". In Pierce, Benjamin C. (ed.) Advanced Topics in Types and Programming Languages. MIT Press.
बाहरी संबंध
- The home page of DML
 | This programming-language-related article is a stub. You can help Wikipedia by expanding it. |
