Fiquei um pouco surpreso com o GHC lançando estouros de pilha se eu precisasse obter o valor de uma lista grande contendo elementos que consomem muita memória. Eu esperava que o GHC tivesse TCO, por isso nunca enfrentarei essas situações.

Para simplificar o caso, observe as seguintes implementações diretas de funções que retornam números de Fibonacci (extraídas do HaskellWiki). O objetivo é exibir o milionésimo número.

import Data.List

# elegant recursive definition
fibs = 0 : 1 : zipWith (+) fibs (tail fibs)

# a bit tricky using unfoldr from Data.List
fibs' = unfoldr (\(a,b) -> Just (a,(b,a+b))) (0,1)

# version using iterate
fibs'' = map fst $ iterate (\(a,b) -> (b,a+b)) (0,1)

# calculate number by definition
fib_at 0 = 0
fib_at 1 = 1
fib_at n = fib_at (n-1) + fib_at (n-2)

main = do
    {-- All following expressions abort with
        Stack space overflow: current size 8388608 bytes.
        Use `+RTS -Ksize -RTS' to increase it.
     --}
    print $ fibs !! (10^6)
    print . last $ take (10^6) fibs
    print $ fibs' !! (10^6)
    print $ fibs'' !! (10^6)

    -- following expression does not finish after several 
    -- minutes
    print $ fib_at (10^6)

A fonte é compilada comghc -O2.

O que estou fazendo errado ? Gostaria de evitar a recompilação com o aumento do tamanho da pilha ou outras opções específicas do compilado