fmap和bind之间的关系 [英] Relationship between fmap and bind

问题描述

查找 Control.Monad 文档，我很困惑 此段落:

After looking up the Control.Monad documentation, I'm confused about this passage:

以上法律暗示:

The above laws imply:

fmap f xs = xs >>= return . f

它们如何暗示?

推荐答案

Control.Applicative 说

由于这些定律，f的Functor实例将满足

fmap f x = pure f <*> x

Applicative和Monad之间的关系说

pure = return

(<*>) = ap

ap 说

return f `ap` x1 `ap` ... `ap` xn

等同于

liftMn f x1 x2 ... xn

因此

fmap f x = pure f <*> x
         = return f `ap` x
         = liftM f x
         = do { v <- x; return (f v) }
         = x >>= return . f

这篇关于fmap和bind之间的关系的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！