Dlaczego nie ma << w bibliotece standardowej Haskell?

Question

Klasa Monad definiuje >> metody, których sekwencje dwóch jednowartościowy czynności:

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

Operator wiązania >>= ma ekwiwalent odwrót, argument =<<; podobnie jak operatory składni funkcji monadycznych ("ryby") >=> i <=<. Wydaje się jednak, że nie jest to << (po kilku minutach Hoogling). Dlaczego to?

Edytuj: Wiem, że to nic wielkiego. Po prostu podoba mi się sposób, w jaki niektóre linie kodu wyglądają z operatorami lewostronnymi. x <- doSomething =<< doSomethingElse po prostu wygląda ładniej, ze strzałkami wszystko idzie w ten sam sposób, niż x <- doSomethingElse >>= doSomething.

Answer 1

Zgodnie z moją wiedzą nie ma dobrego powodu. Zauważ, że twoje Monad powinno być również instancją Applicative, więc możesz użyć <* i *> jako narzędzi do sekwencjonowania.