为什么在Haskell Monads中将“bind”写为>> =？

Question

Haskell Monads中语法“>> =”和“>>”的起源是什么？ 我不是在寻找Monads如何工作的解释，而是为什么语言设计者选择了这种语法。 对我而言，“>> =”和“>>”似乎有点武断，从未有过直觉。 有没有人有直观的解释？ 这是来自类别理论的语法吗？

Answer 1

m >>= k表示“将计算结果m馈送到函数k ”; m >> n建议“运行m计算，然后运行n计算”。