>> =和concatMap之间的区别

Question

>>=今天我一直在玩,试图了解monad,并找到了一个有趣的模式.使用列表monad时,>>=似乎表现得像concatMap.我四处寻找,试图找到任何相似之处,特别是在hackage的定义中.

我试过的一些事情:

[1, 2, 3] >>= (iter 5 id) => [1,1,1,1,1,2,2,2,2,2,3,3,3,3,3]

concatMap (iter 5 id) [1, 2, 3]=> [1,1,1,1,1,2,2,2,2,2,3,3,3,3,3]

[1, 2, 3] >>= (iter 5 (+5)) => [1,6,11,16,21,2,7,12,17,22,3,8,13,18,23]

concatMap (iter 5 (+5) ) [1, 2, 3] => [1,6,11,16,21,2,7,12,17,22,3,8,13,18,23]

iter 只是非无限迭代,

iter i f a = toL $ Data.Sequence.iterateN i f a
  where
    toL = Data.Foldable.toList :: Data.Sequence.Seq a -> [a] 

(在repl.it中工作所以进口被搞砸了).

是(>>=)相当于concatMap对列表？这是概括concatMap吗？

Answer 1

是的,随着论点被翻转.比较这些类型的签名应该会带来相似性,尽管特殊列表语法会干扰:

Prelude> :t flip concatMap
flip concatMap :: Foldable t => t a -> (a -> [b]) -> [b]
Prelude> :t (>>=)
(>>=)          :: Monad m    => m a -> (a -> m b) -> m b

Answer 2

是的,(=<<)是concatMap列表.对于任何Monad来说,>>=它只是fmap和join(概括concat)的结合,所以这也是直觉上的.