हास्केल पहुंच योग्य कोड बग?

Question

कहें कि मेरे पास निम्न (गलत) कोड है।

data A a b where 
    APure :: (A a b) 
    AApply :: A (A b c) c 

test :: (A a b) -> a -> b 
test (APure) a = a 
test AApply a = undefined 

GHC तो मुझे इस त्रुटि दे देंगे:

Couldn't match type `b' with `A b1 b' 
    `b' is a rigid type variable bound by 
     the type signature for test :: A a b -> a -> b 
Inaccessible code in 
    a pattern with constructor 
    AApply :: forall c b. A (A b c) c, 
    in an equation for `test' 
In the pattern: AApply 
In an equation for `test': test AApply a = undefined 

यह त्रुटि संदेश पूरी तरह से गलत नहीं है? त्रुटि में एपली के साथ कुछ लेना देना नहीं है।

Answer 1

Isn't this error message completely wrong? The error has nothing to do with AApply .

पूरी तरह से नहीं। यह तर्कसंगत रूप से एक बग है कि आपको वह त्रुटि संदेश मिलता है, लेकिन यह आधार से पूरी तरह से बंद नहीं है।

टुकड़ों को देखने के बाद पूरी चीज को एक साथ देखें।

test (APure) a = a 

का कहना है कि हम एक समारोह

test :: A a b -> r -> r 

रखें हस्ताक्षर

test :: (A a b) -> a -> b 

और एकजुट साथ कि एक साथ है, पहले समीकरण से प्रकार की त्रुटि अनदेखी, प्रकार

को परिष्कृत किया जाता है

test :: A r r -> r -> r 

फिर, समीकरण

test AApply a = undefined 

और देखते हैं कि कैसे परिष्कृत प्रकार के नीचे पहुंचा नहीं जा सकता पर देखने

AApply :: A (A b c) c 

के बाद से

c ~ A b c 

करना पड़ेगा अगर AApply एक वैध पहला तर्क थे।