Neden >> = ne zaman aynı şey olması gerektiğini concatMap daha hızlıdır?

Question

Dün gece bir eğlence kodu yazıyordum ve bir noktada 'u >>= ile değiştirdim ve kodumda ~% 10'luk bir hızlanma gördüm.

Ben [] için >>= tanımı tam olarak concatMap oldu izlenimi altında, bu yüzden biraz karıştı. taban 4.8 (>>=) olarak

Answer 1

olarak (here bakınız) uygulanır:

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

ve concatMap (kaynak 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)