haskell - 应用程序组成，单子(monad)不

Question

Applicatives compose, monads don't.

上面的语句是什么意思？什么时候一个比另一个更可取？

Answer 1

如果我们比较类型

(<*>) :: Applicative a => a (s -> t) -> a s -> a t
(>>=) :: Monad m =>       m s -> (s -> m t) -> m t

我们得到了区分这两个概念的线索。那(s -> m t)类型为 (>>=)显示 s 中的值可以确定 m t 中的计算行为. Monad 允许值层和计算层之间的干扰。 (<*>)运算符不允许这样的干扰:函数和参数计算不依赖于值。这真的很咬人。比较

miffy :: Monad m => m Bool -> m x -> m x -> m x
miffy mb mt mf = do
  b <- mb
  if b then mt else mf

它使用某种效果的结果在两个计算之间做出决定(例如，发射导弹和签署停战协定)，而

iffy :: Applicative a => a Bool -> a x -> a x -> a x
iffy ab at af = pure cond <*> ab <*> at <*> af where
  cond b t f = if b then t else f

它使用 ab 的值在 两个计算的值之间进行选择 at和 af , 两者都执行了，也许会造成悲剧性的影响。

monadic 版本本质上依赖于 (>>=) 的额外功能从一个值中选择一个计算，这可能很重要。然而，支持这种能力使得 monad 难以组合。如果我们尝试构建“双重绑定(bind)”

(>>>>==) :: (Monad m, Monad n) => m (n s) -> (s -> m (n t)) -> m (n t)
mns >>>>== f = mns >>-{-m-} \ ns -> let nmnt = ns >>= (return . f) in ???

我们已经走到这一步了，但是现在我们的图层都乱七八糟了。我们有一个 n (m (n t)) , 所以我们需要去掉外面的 n .正如 Alexandre C 所说，如果我们有合适的人选，我们就可以做到这一点

swap :: n (m t) -> m (n t)

排列n向内和join它给另一个n .

较弱的“双重应用”更容易定义

(<<**>>) :: (Applicative a, Applicative b) => a (b (s -> t)) -> a (b s) -> a (b t)
abf <<**>> abs = pure (<*>) <*> abf <*> abs

因为层与层之间没有干扰。

相应地，认识到什么时候你真的需要 Monad 的额外能力是很好的。 s，以及何时可以摆脱 Applicative 的严格计算结构支持。

请注意，尽管编写 monad 很困难，但它可能超出您的需要。类型m (n v)表示用m计算-效果，然后用n计算-对v的影响-值，其中 m -效果在 n 之前完成-效果开始(因此需要 swap )。如果你只想交错 m -效果 n - 效果，那么构图可能太过分了!