आश्रित एमएल
 | This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages)
(Learn how and when to remove this template message)
|
डिपेंडेंट एमएल होंगवेई शी द्वारा प्रस्तावित एक प्रयोगात्मक कार्यात्मक प्रोग्रामिंग भाषा है (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. |
