如果应用就足够了，为什么序列需要monad？

Question

序列的签名是

sequence :: Monad m => t (m a) -> m (t a)

但我们可以实现它

sequence = traverse id

要求m只是Applicative 。 如果monad是applicatives那么为什么在类型级别上有这个约束呢？

Answer 1

Haskell中有许多函数是等价但不同的，因为Applicative （ Functor ）并没有用作Monad的超类。 例如：

• return与pure

• ap vs. <*>

• liftM vs. liftA vs. fmap

• liftM2 ， liftM3 ，＆c。 与liftA2 ， liftA3 ，＆c。

• mapM / forM与traverse / for

• mapM_ / forM_与traverse_ / for_

• sequence与sequenceA

• mzero ＆ mplus （来自MonadPlus ）与empty ＆＆（ <|>来自Alternative ）

具有原始Monad签名的旧功能仍然存在，但在新代码中，自应用Monad Proposal（AMP）实施以来，您可以始终使用Applicative版本，因为它们稍微更通用 - 也就是说，您可以随时使用用pure代替return ，但反之则不然。