टाइप और न्यूटाइप

Question

के बीच समय संकलित करें और रन टाइम अंतर type घोषणा और newtype घोषणा के बीच, पठन-संकलन-संचालित पाइपलाइन के विभिन्न चरणों में क्या अंतर है?

मेरे धारणा यह है कि वे एक ही मशीन निर्देश के लिए नीचे संकलित था, और उदाहरण

type Name = String 
newtype Name_ = N String 

के लिए आप एक Name कहीं भी एक String की आवश्यकता है उपयोग कर सकते हैं जहां कि फर्क सिर्फ इतना था जब कार्यक्रम, typechecked है लेकिन यदि आप Name_ का उपयोग करते हैं तो टाइपशेकर आपको कॉल करेगा, जहां String की अपेक्षा की जाती है, भले ही वे एक ही जानकारी को एन्कोड करते हों।

मैं सवाल पूछ रहा हूँ, क्योंकि अगर यह मामला है, मैं किसी भी कारण है कि निम्नलिखित घोषणाओं मान्य नहीं होना चाहिए नहीं दिख रहा है:

type List a = Either() (a, List a) 
newtype List_ a = L (Either() (a, List_ a)) 

हालांकि, प्रकार चेकर दूसरे को स्वीकार करता है एक लेकिन पहले को अस्वीकार करता है। ऐसा क्यों है?

Answer 1

लुक्की की टिप्पणी एक उत्तर होना चाहिए। हास्केल में समानार्थी टाइप करें मैक्रोज़ से पहले कुछ अनुमान नहीं है। यही है, वे टाइप चेकर द्वारा पूरी तरह मूल्यांकन किए गए प्रकारों में विस्तारित होते हैं। टाइप चेकर अनंत प्रकारों को संभाल नहीं सकता है, इसलिए हास्केल में इक्वि-रिकर्सिव प्रकार नहीं हैं।

newtypes आपको आईएसओ-रिकर्सिव प्रकार प्रदान करता है, जीएचसी में, मूल रूप से मूल भाषा में इक्विटी-रिकर्सिव प्रकारों को संकलित करता है। हास्केल जीएचसी कोर नहीं है, इसलिए आपके पास ऐसे प्रकार तक पहुंच नहीं है। इक्की-रिकर्सिव प्रकार टाइप चेकर्स और इंसानों के लिए काम करने के लिए थोड़ा कठिन हैं, जबकि आईएसओ-रिकर्सिव प्रकारों के बराबर शक्ति है।