Was bedeutet m >> = Rückkehr?

Question

wurde auf folgende Tutorial über Monaden und stecken lesen:

let m = return 2 :: IO Int 

, die verständlich ist - wir 2 in monadischen Variable (IO 2) packen Aber was bedeutet folgendes?

m >>= return 

Es gibt 2.

Wie ich aus Monad Definition wissen, dass Rückkehr immer genau ein Argument akzeptiert. Hier wird jedoch das Argument abgelehnt. Wie könnte es verstanden werden?

Answer 1

(>>=) ist der Operator bind. Es hat Unterschrift:

(>>=) :: Monad m => m a -> (a -> m b) -> m b 

So erwartet sie (auf der linken Seite), um ein einstelliges Objekt (zum Beispiel IO Int) und auf der rechten Seite eine Funktion a -> m b (zum Beispiel Int -> IO b) hier.

Der Operator wird verwendet, um Operationen in einer Monade miteinander zu verketten. Zum Beispiel putStrLn :: String -> IO() kann verwendet werden, wenn wir es wie verwenden:

return "foo" >>= putStrLn 

So, jetzt wir return ein String "foo". Der Bindeoperator wird es sozusagen aus der IO-Monade auspacken und es an die -Funktion übergeben, die "foo" an den Standard-Ausgabekanal druckt und eine IO() zurückgibt. Wir können dann das IO() für die weitere Verarbeitung verwenden.

Seit return Wraps Daten in eine Monade, Schreiben >>= return ist im Grunde nutzlos. Da für alle xx >>= return sollte gleich x sein. Das Argument return fehlt nicht in dem Sinne, dass >>= die Rückgabe mit einem Argument aufrufen wird. Sie können auch schreiben:

m >>= (\x -> return x) 

aber dies ist äquivalent zu m >>= return.