प्रचारित प्रकार के टाइपक्लास उदाहरण कैसे बनाएं?

Question

मेरे पास एक डेटा प्रकार है जिसे मैं डेटाकिंड्स के माध्यम से ghc 7.4.1 और एक दिए गए टाइपक्लास के माध्यम से प्रचारित करता हूं जिसे मैं टाइप विशिष्ट संचालन करने के लिए उपयोग करना चाहता हूं।

data Type = TInt32 | TInt64 | TInt16 
class TypeTraits a where 
    ... 

और फिर मैं तो जैसे पदोन्नत प्रकार के typeclass उदाहरणों बनाने का प्रयास करें:

Kind mis-match 
The first argument of `TypeTraits' should have kind `*', 
but `TInt32' has kind `Type' 
In the instance declaration for `TypeTraits TInt32' 

निर्दिष्ट करने के द्वारा इसे ठीक करने की कोशिश कर रहा:

instance TypeTraits TInt32 where 
    ... 

मैं निम्न प्रकार की त्रुटियों मिल 'ए' की तरह:

class TypeTraits (a :: Type) where 
    ... 

Kind mis-match 
Expected kind `ArgKind', but `a' has kind `Type' 
In the type `a -> String' 
In the class declaration for `TypeTraits' 

Answer 1

समस्या वर्ग के शरीर में है; जिन प्रकारों में एक उठाए गए प्रकार के पास कोई मूल्य नहीं है, इसलिए आपके पास कोई ऐसा फ़ंक्शन नहीं हो सकता है जो पैरामीटर के रूप में लेता है। आपको Proxy a -> String या इसी तरह का उपयोग करना होगा।

वैसे, यदि आप PolyKinds एक्सटेंशन चालू करते हैं तो आपको पूरी तरह से एनोटेशन को छोड़ने में सक्षम होना चाहिए। (असल में, आपको अपना खुद का Proxy प्रकार परिभाषित करने के लिए ऐसा करना पड़ सकता है, क्योंकि मुझे लगता है कि डेटा.प्रॉक्सी से * -> * हो सकता है, जबकि आपको Type -> * की आवश्यकता है। यदि आप data Proxy p = Proxy को PolyKinds पर परिभाषित करते हैं, तो इसे अनुमानित किया जाएगा AnyK -> *।)