haskell ->>= 和 concatMap 的区别

Question

我在玩>>=今天，试图了解monads，发现了一个有趣的模式。使用列表单子(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