Superclass

Question

'dan çıkarılamıyor Aşağıdaki kodda, GHC, Funer örneğini Monoidal örneğinin tanımında bulamıyor.

Neden GHC Applicative kısıt sonra Functor yerde zaten olmalı, memnun verilen bu deducing değil?

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 

Tabii hata olmadığı için Monoidal için açık Functor f kısıtlama eklemek biliyorum, ama benim sorum örneği çözünürlüğü bu şekilde çalışır neden daha fazla olduğunu (bu akıl 'yetenek'? Bir isim yoktur)

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

Bana bir hata gibi görünüyor. İşte sorunu gösteren ve Prelude veya undefined s renaming ile herhangi bir shenanigans güvenmiyor minimal bir dosyadır.

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

Bu dosyayla GHC hata izleyicide bir hatayı dosyalamanızı öneririz (ya da benzeri); B x'un A x anlamına geldiğinin anlaşılması için gerekçelendirme mümkün olmalıdır.