爲什麼>> =他們應該是同一件事時比concatMap快？

Question

昨天晚上，我正在寫一些娛樂代碼，在某些時候我用>>=代替concatMap，並在我的代碼中看到了〜10％的加速。

我的印象是>>=對於[]的定義恰好是concatMap，所以我有點困惑。

Answer 1

在鹼4.8 (>>=)被實現（見here）爲：

xs >>= f = [y | x <- xs, y <- f x] 

和concatMap使用更復雜的生成器（源here）

concatMap :: Foldable t => (a -> [b]) -> t a -> [b] 
concatMap f xs = build (\c n -> foldr (\x b -> foldr c b (f x)) n xs)