Haskell Monads 中语法“>>=”和“>>”的起源是什么？我不是在寻找关于 Monads 如何工作的解释，而是为什么语言设计者选择了这种语法。对我来说，“>>=”和“>>”似乎有点武断，从来没有直观的意义。有人有直观的解释吗？是来自范畴论的语法吗？
【问题讨论】：
=>> 可能是一个更自然的选择）。
m >>= k 建议“将计算结果m 提供给函数k”； m >> n 建议“运行m 计算，然后运行n 计算”。
【讨论】：
>>= 符号显然是 Haskell 徽标的一部分。其中 lambda 是第二个 >。 :D
>> 部分对我来说没有任何意义。 >>= 或 >= 建议使用某种管道，因此 |= 更适合作为运算符来表示删除上下文的左侧部分。我真的很想获得一些链接（到邮件列表？），在那里他们讨论是什么促使他们使用这些运算符，希望为这些运算符建立一个健全的心理模型。
g . f $ x 将x 发送到由f 和g 创建的管道，按此顺序。对于 monads（以及，部分不同的方式，还有 functors 和 applicatives），起作用的是值和它们可以在其中的 context 之间的区别。>> 丢弃值，但不是他们的背景。举例说明：Just 1 >> Just 2 显示 1 被丢弃，Nothing >> Just 2 显示影响最终结果的第一个参数的上下文（在本例中为 Just 和 `Nothing 之间的选择）。
>> 的意思是然后，就像在命令式排序中一样，匹配直觉。这个想法比这更精确和通用，这要归功于鸟瞰将 monad 作为各种命令式语义的功能实现。推荐阅读：Wadler's papers on monads； A History of Haskell: being lazy with class 了解历史背景。