दमास-हिंडली-मिलनर प्रकार अनुमान एल्गोरिदम कार्यान्वयन

Question

मैं कार्यात्मक भाषाओं के लिए विशेष रूप से जानकारी के लिए प्रकार की अनुमान लगाने के लिए प्रसिद्ध Damas-Hindley-Milner algorithm के बारे में जानकारी ढूंढ रहा हूं।

मुझे पहले से ही पता है कि Algorithm W कैसे करें, लेकिन मैंने सामान्य एकीकरण के बजाय बाधा जनरेटर/सॉल्वर पर आधारित हाल के नए एल्गोरिदम के बारे में सुना। हालांकि, मैं उन नए एल्गोरिदम के कार्यान्वयन के बारे में कोई चर्चा नहीं कर पा रहा हूं।

कोई विचार जहां मुझे एमएल अनुमान पर कुछ आंशिक जानकारी मिल सकती है?

Answer 1

यदि आप एमएल कोड के साथ सहज हैं, तो इन चीजों को ढूंढने का सबसे अच्छा तरीका केवल जंगली में कार्यान्वयन को देखना है। एक अच्छा संदर्भ कार्यान्वयन HaMLet है, जिसे उत्पादन कार्यान्वयन के बजाय परीक्षण प्लेटफॉर्म के रूप में डिज़ाइन किया गया है।

इन मुद्दों के लगभग सभी गंभीर हालिया चर्चा विद्वानों के स्थानों में होने जा रही है। एक पेपर जो ब्याज का हो सकता है Generalising Hindley-Milner type inference algorithms है।

इसके अलावा, विभिन्न प्रकार के सिस्टम के कार्यान्वयन में पियर्स की "Types and Programming Languages", साथ ही एप्पल के "Modern Compiler Implementation in ML" और अधिक बारीकी से आधुनिक दृष्टिकोण एल्गोरिथ्म के वेनिला विवरण की तुलना में इस लागू करने डब्ल्यू