आश्रित एमएल

आश्रित एमएल प्रस्तावित प्रयोगात्मक कार्यात्मक प्रोग्रामिंग भाषा है जिसे होंगवेई शी (Xi 2007) और फ्रैंक पफेनिग ने प्रस्तावित किया है। आश्रित एमएल आश्रित प्रकारों की प्रतिबंधित धारणा द्वारा एमएल प्रोग्रामिंग भाषा का विस्तार करता है: प्रकार नेट (प्राकृतिक संख्या) प्रकार के स्थिर सूचकांकों पर निर्भर हो सकते हैं। आश्रित एमएल सूचकांक अभिव्यक्तियों पर ठोस समीकरण सिद्धांत का निर्णय करने के लिए बाधा प्रमेय कहावत का उपयोग करता है।

आश्रित डीएमएल के प्रकार रनटाइम मानों पर निर्भर नहीं होते हैं - प्रोग्राम के संकलन और निष्पादन के बीच अभी भी चरण अंतर होता है। पूर्ण आश्रित प्रकारों की विस्तारितता को सीमित करने से प्रकार की जाँच निर्णयात्मकता (तर्क) बनी रहती है, किन्तु प्रकार का अनुमान अनिर्णीत हो जाता है।

आश्रित एमएल को एटीएस (प्रोग्रामिंग भाषा) द्वारा प्रतिस्थापित कर दिया गया है और अब सक्रिय विकास के अधीन नहीं है।

अग्रिम पठन

• 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