>> = 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)