Tại sao không có << trong thư viện chuẩn Haskell?

Question

Lớp Monad định nghĩa một phương pháp >>, mà trình tự hai hành động monadic:

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

Nhà điều hành ràng buộc >>= có lật đối số tương đương, =<<; cũng như các nhà điều hành thành phần chức năng đơn thuần ('cá') >=> và <=<. Có vẻ như không phải là một <<, mặc dù (sau một vài phút của Hoogling). Tại sao điều này?

Chỉnh sửa: Tôi biết đó không phải là vấn đề lớn. Tôi giống như cách một số dòng mã nhất định với các toán tử trỏ bên trái. x <- doSomething =<< doSomethingElse trông đẹp hơn, với các mũi tên đều giống nhau, hơn x <- doSomethingElse >>= doSomething.

Answer 1

Theo hiểu biết tốt nhất của tôi, không có lý do chính đáng nào. Lưu ý rằng số Monad của bạn cũng phải là một phiên bản Applicative, do đó bạn có thể sử dụng <* và *> thay vì công cụ sắp xếp của mình.