क्या इसके लिए कुछ सैद्धांतिक कारण हैं (जैसे कि प्रकार की जाँच या प्रकार का अनुमान असाध्य हो जाएगा), या व्यावहारिक कारण (ठीक से लागू करने के लिए बहुत मुश्किल)?
वर्तमान में, हम चीजों को इस newtypeतरह से लपेट सकते हैं
newtype Pair a = Pair (a, a)
और फिर है Pair :: * -> *
लेकिन हम ऐसा कुछ नहीं कर सकते λ(a:*). (a,a)।
(कुछ भाषाएँ हैं जो उनके पास हैं, उदाहरण के लिए, स्काला करता है ।)
4
एक प्रकार के प्रकार के सिस्टम को उपयोग में लेने से अन्य प्रकार के सिस्टम को बाहर कर देता है क्योंकि पूरी चीज को सुसंगत बनाने की आवश्यकता होती है। टाइप थ्योरी
—
लैंबडा
stackoverflow.com/questions/4922560/… भी संबंधित है।
—
एडवर्ड जेड। यांग