hatasız

Question

Bu yükleri: ile

data Const c a = Const c 

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

... ama bu

data Const' c a = Const' c 

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

... başarısız hata. Derleyici neden cv türünün Const' c türüne dönüştürebiliyor? Beyanın geri kalanı ve fmap'un tanımı göz önüne alındığında başka ne olabilir?

Answer 1

, bir lokma biraz olan

{-# 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 

yazabilir. :-)

forall a b., a ve b'u kapsam içine getirerek tanımda belirtilebilir. Bu, ScopedTypeVariables tarafından etkinleştirilmiştir. InstanceSigs, ilk etapta fmap imzasını yazmamıza izin verir (normalde , sınıfından çıkarılmalıdır, bu yüzden tür değişken adlarını almak için hiçbir yerimiz yoktur).

Answer 2

cv, Const' c a türünde olduğu için Const' c b türünde de olamaz (a ~ b değilse). Bununla birlikte, Const v ve Const v, farklı tiplerde olabilir.

bakarak bir başka yolu fmap _ cv = cv tip Const' c a -> Const' c a olacağını fmap _ = id, denk olduğunu, ancak fmap _ tip Const' c a -> Const' c b olmalıdır. tam açık olmasını istiyorsanız