Perché è >> = più veloce di concatMap quando dovrebbero essere la stessa cosa?

Question

Ieri sera, stavo scrivendo un codice di ricreazione, e ad un certo punto ho sostituito uno concatMap con >>= e ho visto un aumento del ~ 10% nel mio codice.

Ho avuto l'impressione che la definizione di >>= per [] fosse esattamente concatMap, quindi sono un po 'confuso.

Answer 1

In base di 4,8 (>>=) è implementato (vedi here) come:

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

e concatMap sta usando un builder più complicata (fonte 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)