सुपरक्लास

Question

को कम नहीं कर सकता निम्नलिखित कोड में, जीएचसी Monoidal इंस्टेंस की परिभाषा में फ़ंक्शन उदाहरण नहीं ढूंढ सकता है।

GHC क्यों बात का अनुमान लगाना नहीं है कि दियाApplicative बाधा संतुष्ट है, तो Functor कहीं पहले से ही हो गया है?

import Prelude hiding (Applicative (..), Monad (..)) 

class Functor f => Applicative f where 
    pure :: a -> f a 
    (<*>) :: f (a -> b) -> f a -> f b 

class Functor f => Monoidal f where 
    unit::f() 
    (*) ::f a -> f b -> f (a,b) 

instance Applicative f => Monoidal f where 
    unit = pure() 
    a * b = undefined 

मैं निश्चित रूप से Monoidal का सुस्पष्ट Functor f बाधा जोड़ सकता है कोई त्रुटि नहीं करने के लिए पता है, लेकिन मेरे सवाल का उदाहरण संकल्प कि जिस तरह से काम करता है क्यों के बारे में अधिक है (वहाँ इस तर्क 'क्षमता'? करने के लिए एक नाम है)

import Prelude hiding ((*), Applicative (..), Monad (..)) 

class Functor f => Applicative f where 
    pure :: a -> f a 
    (<*>) :: f (a -> b) -> f a -> f b 

class Functor f => Monoidal f where 
    unit::f() 
    (*) ::f a -> f b -> f (a,b) 

instance (Applicative f, Functor f) => Monoidal f where 
    unit = pure() 
    a * b = (pure (,) <*> a <*> b) 

instance (Monoidal f, Functor f) => Applicative f where 
    pure x = fmap (\_ -> x) unit 
    mu <*> mx = fmap (\(f, x) -> f x) ((mu * mx) :: f (a -> b, a)) 

Answer 1

मुझे एक बग की तरह लग रहा है। यहां एक न्यूनतम फ़ाइल है जो समस्या को दिखाती है और Prelude सामान या undefined एस नाम बदलने के साथ किसी भी शेंगेन पर भरोसा नहीं करती है।

{-# LANGUAGE FlexibleInstances #-} 
{-# LANGUAGE UndecidableInstances #-} 
class A x 
class A x => B x 
class A x => C x 
instance B x => C x 

मैं इस फ़ाइल के साथ जीएचसी बग ट्रैकर पर एक बग दर्ज करने की सिफारिश करता हूं (या इसे बहुत पसंद है); B x का पता लगाने के लिए आवश्यक तर्क A x संभव होना चाहिए।