haskell - 如果 applicative 就足够了，为什么序列需要 monad？

Question

序列的签名是

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

但我们可以将其实现为

sequence = traverse id

需要 m只是 Applicative .如果 monad 是应用程序，那么为什么还要在类型级别上有这个约束呢？

Answer 1

Haskell 中有许多相同但不同的函数，因为 Applicative (resp. Functor )曾经不是 Monad 的父类(super class).例如:

return与 pure

ap与 <*>

liftM与 liftA与 fmap

liftM2 , liftM3 ， ＆C。与 liftA2 , liftA3 ， ＆C。

mapM/forM与 traverse/for

mapM_/forM_与 traverse_/for_

sequence与 sequenceA

mzero & mplus (来自 MonadPlus )与 empty & <|> (来自 Alternative )

旧函数及其原始 Monad签名仍然存在，但在新代码中，因为 Applicative–Monad Proposal (AMP)已实现，您可以随时使用 Applicative版本，因为它们更通用——也就是说，您可以随时替换 return与 pure ，但反之亦然。