आश्रित एमएल

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

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

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

अग्रिम पठन

 * David Aspinall and Martin Hofmann (2005). "Dependent Types". In Pierce, Benjamin C. (ed.) Advanced Topics in Types and Programming Languages. MIT Press.
 * 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