为什么 Haskell 标准库中没有 <<？

Question

Monad 类定义了一个>> 方法，该方法对两个单子动作进行排序：

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

绑定运算符>>= 有一个等效的翻转参数=<<；与一元函数组合（'fish'）运算符>=> 和<=< 一样。不过，似乎没有<<（经过几分钟的胡扯）。这是为什么呢？

编辑：我知道这没什么大不了的。我只是喜欢某些代码行与左指向运算符的外观。 x <- doSomething =<< doSomethingElse 比x <- doSomethingElse >>= doSomething 看起来更好，箭头方向都一样。

Answer 1

据我所知，没有充分的理由。请注意，您的Monad 也应该是Applicative 的一个实例，因此您可以使用<* 和*> 作为您的测序工具。

Answer 2

这是一个替代答案，因为最近提出了一个类似的问题并标记为重复。事实证明，完全不清楚 (<<) 的定义应该是什么！虽然这个问题在旧答案的 cmets 中有所提及，但我认为它并没有完全清楚这里有一个严重的问题。

显然，定义的两种合理可能性是：

(<<) :: Monad m => m a -> m b -> m a
p << q = do {x <- p; q; return x}   -- definition #1
p << q = do {q; p}                  -- definition #2

类比应用运算符(<*) 和(*>)，很明显新的(<<) 运算符应该保留从左到右的副作用顺序，并且只具有切换使用哪个动作的返回值的效果，所以定义#1 显然是正确的。这具有理想的属性，<< 和 <* 将是（行为良好的）monad 的同义词，就像 >> 和 *> 是同义词一样，所以没有什么意外。

当然，通过类比=<< 和>>=，很明显翻转大于号的方向应该具有翻转参数的效果，所以定义#2 显然是正确的。这具有一元操作管道的理想属性：

u >>= v >>= w >> x >>= y

可以通过翻转运算符来反转：

y =<< x << w =<< v =<< u

这也保留了 Kleisli 操作员的身份：

(f >=> g) x  ===  f x >>= g
(f <=< g) x  ===  f =<< g x

这确实看起来他们应该持有。

无论如何，我不知道这是否是(<<) 被忽略的最初原因。 （可能不会，因为该决定会早于应用运算符的引入，所以人们会认为“定义＃2”是唯一的可能性），但我很确定现在这将是一个症结所在，因为不同的行为考虑到人们期望 applicative 和 monad 操作之间的密切关联，(<<) 和 (<*) 的组合非常出乎意料。