Typ Klasseninstanz neu zu definieren

Question

1. Ich versuche, diese Frage zu beantworten: „den algebraischen Datentyp Bei

   data Maybe a = Nothing | Just a 
   

   die richtigen Instanz Erklärung auswählen, die zeigt, dass der Typkonstruktor Maybe ein Monad ist.“ (Von hier genommen: „DelftX: FP101x Einführung in die funktionale Programmierung“

2. Der Weg den ich versuche anwer es durch die Zusammenstellung jedes potencial Antwort wiederum ist zum Beispiel diese:.

   instance Monad Maybe where 
         return x = Just x 
         Nothing >>= _ = Nothing 
         (Just x) >>= f = f x 
   

3. ich kann es nicht kompilieren, weil es bereits in der Einleitung definiert ist

   HwEx9.hs:16:10: error: 
       Duplicate instance declarations: 
        instance Monad Maybe -- Defined at HwEx9.hs:16:10 
        instance Monad Maybe -- Defined in `GHC.Base' 
   

Meine Frage lautet:. Wie kann ich es kompilieren

Answer 1

Ich würde einfach imitiert den Maybe Datentyp, wie:

data Maybe' a = Just' a | Nothing' deriving Show 

instance Monad Maybe' where 
    return x = Just' x 
    Nothing' >>= _ = Nothing' 
    (Just' x) >>= f = f x 

In den letzten Versionen von ghc, wird dies nicht gelingen, da die letzten Versionen, dass Sie applicative auch implementieren erfordern. Wir können diese wie tun:

instance Applicative Maybe' where 
    pure = Just' 
    (Just' f) <*> (Just' x) = Just' (f x) 
    _ <*> _ = Nothing' 

Applicative den Typ erfordert eine Instanz von Functor sein, so können wir implementieren es mögen:

instance Functor Maybe' where 
    fmap f (Just' x) = Just' (f x) 
    fmap _ Nothing' = Nothing' 

Es wird dann kompilieren. Der Vorteil dieses Ansatzes ist es weiterhin, dass wir einfach die beide Maybe Monaden, zum Beispiel vergleichen:

*Main> Just 2 >>= (\x -> Just (x+1)) 
Just 3 
*Main> Just' 2 >>= (\x -> Just' (x+1)) 
Just' 3