हास्केल के प्रकार वर्गों के संभावित कार्यान्वयन क्या हैं और उनके (डिस) फायदे क्या हैं?


9

जहाँ तक मुझे पता है, प्रकार वर्ग की कमी के साथ एक हास्केल फ़ंक्शन आंतरिक रूप से अतिरिक्त तर्कों के साथ एक फ़ंक्शन के लिए संकलित किया जाता है जो प्रत्येक विशेष प्रकार के वर्ग के आवश्यक कार्यान्वयन के साथ शब्दकोशों प्राप्त करता है।

  • क्या कोई अन्य संभावनाएं हैं कि प्रकार के वर्ग कैसे संकलित हैं?
  • यदि हां, तो उनके (डिस) फायदे क्या हैं?
  • और क्या संकलक उनका उपयोग करते हैं?

4
इस विषय पर काफी साहित्य है। शायद जे। पीटरसन, एम। जोन्स द्वारा टाइप कक्षाएं लागू करने के साथ शुरू करें । आप ओलिवेरा एट अल द्वारा ऑब्जेक्ट्स और इंप्लिकिट्स के रूप में टाइप क्लासेस भी देख सकते हैं , जो इस बारे में स्काला के संदर्भ में बात करता है, लेकिन संबंधित कार्य पर काफी बड़ा खंड है।
मार्टिन बर्जर


1
@MartinBerger यह एक जवाब है?
सुरेश वेंकट

दूसरे को यहां पाया जा सकता है
मार्टिन बर्जर

@ सुरेश वेंकट, मैं इसका जवाब नहीं देना चाहता था क्योंकि मुझे यकीन नहीं है कि ये दोनों सबसे अच्छे हैं, या अच्छे उत्तर भी हैं। जब से मैंने कार्यात्मक भाषाओं के कार्यान्वयन को देखा है तब से यह एक समय हो गया है। हो सकता है कि कुछ निवासी एफपी बॉड्स में झंकार कर सकते हैं।
मार्टिन बर्जर

जवाबों:


8

JHC एक अलग दृष्टिकोण का उपयोग करता है। संकलक की मध्यवर्ती भाषा एक भरोसेमंद रूप से टाइप की गई लैम्ब्डा-कैलकुलस है जहां प्रकार और मूल्यों के बीच कोई अंतर नहीं है। जेएचसी इसलिए किसी फ़ंक्शन के प्रकार के पैरामीटर पर केस विश्लेषण कर सकता है और सही ओवरलोड फ़ंक्शन को सीधे कॉल कर सकता है।

जेएचसी वेबसाइट कार्यान्वयन पर कुछ गहराई में जाती है, साथ ही मानक शब्दकोश पास कार्यान्वयन पर इसके फायदे।

हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.