Eu tenho este código:

import Data.List

newList_bad  lst = foldl' (\acc x -> acc ++ [x*2]) [] lst
newList_good lst = foldl' (\acc x -> x*2 : acc) [] lst

Essas funções retornam listas com cada elemento multiplicado por 2:

*Main> newList_bad [1..10]
[2,4,6,8,10,12,14,16,18,20]
*Main> newList_good [1..10]
[20,18,16,14,12,10,8,6,4,2]

Em ghci:

*Main> sum $ newList_bad [1..15000]
225015000
(5.24 secs, 4767099960 bytes)
*Main> sum $ newList_good [1..15000]
225015000
(0.03 secs, 3190716 bytes)

Por quênewList_bad função funciona 200 vezes mais lento do quenewList_good? Eu entendo que não é uma boa solução para essa tarefa. Mas por que esse código inocente funciona tão lento?

O que é isso "4767099960 bytes"? Para aquela operação simples, Haskell usou 4 GiB ??

Depois da compilação:

C:\1>ghc -O --make test.hs
C:\1>test.exe
225015000
Time for sum (newList_bad [1..15000]) is 4.445889s
225015000
Time for sum (newList_good [1..15000]) is 0.0025005s