Na deklaracji instancji funktora

Question

Ładuje bez błędu:

data Const c a = Const c 

instance Functor (Const c) where 
    fmap _ (Const v) = Const v 

... ale to

data Const' c a = Const' c 

instance Functor (Const' c) where 
    fmap _ cv = cv 

... nie powiedzie się z:

Couldn't match type `a' with `b' 
     `a' is a rigid type variable bound by 
      the type signature for fmap :: (a -> b) -> Const' c a -> Const' c b 
      at test.hs:4:5 
     `b' is a rigid type variable bound by 
      the type signature for fmap :: (a -> b) -> Const' c a -> Const' c b 
      at test.hs:4:5 
    Expected type: Const' c b 
     Actual type: Const' c a 
    In the expression: cv 
    In an equation for `fmap': fmap _ cv = cv 
    In the instance declaration for `Functor (Const' c)' 

nie rozumiem błąd. Dlaczego kompilator nie może wywnioskować, że typem cv jest ? Cóż innego mogłoby być, biorąc pod uwagę resztę deklaracji i definicję fmap?

Answer 1

Jeśli chcesz być w pełni jawne, można napisać

{-# LANGUAGE ScopedTypeVariables, InstanceSigs #-} 

data Const c a = Const c 

instance Functor (Const c) where 
    fmap :: forall a b. (a -> b) -> Const c a -> Const c b 
    fmap _ (Const v :: Const c a) = Const v :: Const c b 

który jest trochę łyk. :-)

forall a b. przynosi a i b w zakresie, aby można było odwoływać się do definicji. Jest to włączone przez ScopedTypeVariables. InstanceSigs pozwala nam na napisanie podpisu fmap w pierwszej kolejności (zwykle musi to być musi być wywnioskowane z klasy, więc nie mamy nigdzie, aby uzyskać nazwy zmiennych typu od).

Answer 2

cv jest typu Const' c a, więc nie może również być typu Const' c b (chyba że a ~ b). Const v i Const v, jednak mogą być różnych typów.

Innym sposobem patrzenia na to jest fakt, że fmap _ cv = cv jest równoważna fmap _ = id, co byłoby typu Const' c a -> Const' c a, ale fmap _ musi być typu Const' c a -> Const' c b.