कक्षा डेटा प्रकार टाइप करें

Question

आलेख Scrap your type classes पढ़ने के बाद, मैंने दिखाए गए कुछ विचारों को दोबारा लागू किया। ऐसा करने के दौरान मैं वास्तव में कुछ अजीब आया: प्रकार वर्ग - प्रकार को एक प्रकार की बाधा के रूप में उपयोग किया जा सकता है! मेरा सवाल: वह क्यों है?

मेरे कोड:

{-# LANGUAGE Rank2Types #-} 

data IFunctor f = IFunctor { 
    _fmap :: forall a b. (a -> b) -> f a -> f b 
} 

-- this type checks... 
_fmap2 :: IFunctor f => (a -> b) -> f (f a) -> f (f b) 
_fmap2 = \inst -> _fmap inst . _fmap inst 

GHCi में निम्नलिखित बात होता है:

>>> :t _fmap2 :: IFunctor f => (a -> b) -> f (f a) -> f (f b) 
_fmap2 :: IFunctor f => (a -> b) -> f (f a) -> f (f b) 
     :: IFunctor f -> (a -> b) -> f (f a) -> f (f b) 

Answer 1

यह GHC 7.8.2 पर काम नहीं करता। यह त्रुटि Expected a constraint, but ‘IFunctor f’ has kind ‘*’ देता है।

जीएचसी के पुराने संस्करणों में एक बग था जहां उन्होंने => को कुछ स्थितियों में -> जैसे उपयोग करने की अनुमति दी थी। यह संभावना है क्योंकि आंतरिक रूप से वर्ग की बाधाओं को विधि शब्दकोशों के रूप में तर्क के रूप में पारित किया जाता है।