haskell - 为什么 "bind"在 Haskell Monads 中写为 >>=？

Question

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

Answer 1

m >>= k建议“将计算结果 m 提供给函数 k”； m >> n建议“运行 m 计算，然后运行 ​​n 计算”。