为什么在Haskell Monads中将“bind”写为＆gt;＆gt; =？

Question

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

Answer 1

m >>= k建议＆＃34;将计算结果m提供给函数k＆＃34 ;; m >> n建议＆＃34;运行m计算，然后运行n计算＆＃34;。