如果應用就足夠了，為什么序列需要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 ，但反之則不然。