Tại sao >> = nhanh hơn concatMap khi chúng phải giống nhau?

Question

Đêm qua, tôi đã viết một số mã giải trí và tại một số thời điểm, tôi đã thay thế concatMap bằng >>= và thấy tăng tốc 10% trong mã của mình.

Tôi đã bị ấn tượng về định nghĩa >>= cho [] chính xác là concatMap, vì vậy tôi hơi bối rối.

Answer 1

Trong cơ sở 4.8 (>>=) được thực hiện (xem here) như:

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

và concatMap đang sử dụng một người thợ xây phức tạp hơn (nguồn 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)