m >>= k
suggests "feed the result of computation m
to the function k
"; m >> n
suggests "run the m
computation and then the n
computation".
Why is "bind" written as >>= in Haskell Monads?
Domanda
What are the origins of the syntax ">>=" and ">>" in Haskell Monads? I'm not looking for a explanation of how Monads work but instead why the language designers chose that syntax. To me, ">>=" and ">>" seems kind of arbitrary and never made intuitive sense. Does anyone have a intuitive explanation? Is it syntax that comes from category theory?
Soluzione
Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a StackOverflow