почему sum не использует строгую версию foldl?

Так написано в репорте

И да, GHC не использует этот код: http://hackage.haskell.org/package/base-4.6.0.1/docs/src/Data-List.html#sum

Ну и про strictness analyzer забывать не нужно

а если заменить на строгую, что сломается?

Ничего

так почему не заменили?

Подозреваю, что никому нет до этого дела. Предложи в libraries@, может заменят

так почему не заменили?

Блин, тебе ж анонимус ответил. Вот код из GHC:

-- | The 'sum' function computes the sum of a finite list of numbers.
sum                     :: (Num a) => [a] -> a
-- | The 'product' function computes the product of a finite list of numbers.
product                 :: (Num a) => [a] -> a
#ifdef USE_REPORT_PRELUDE
sum                     =  foldl (+) 0
product                 =  foldl (*) 1
#else
sum     l       = sum' l 0
  where
    sum' []     a = a
    sum' (x:xs) a = sum' xs (a+x)
product l       = prod l 1
  where
    prod []     a = a
    prod (x:xs) a = prod xs (a*x)
#endif

а что я должен увидеть в этом листинге? тут обе реализации используют ленивую свертку

Can compiler optimizations, like ghc -O2, change the order (time or storage) of a program?

1. (+) и (*) в коде, используемом GHC, прописаны явно и он знает, что они strict 2. Чуть выше листинга 2 SPECIALIZE прагмы для Int и Integer, позволяющие GHC сгенерировать заинлайненный код 3. Strictness analyzer доделывает работу

а тж 2anonimous

это все чудесно, жаль только, что не везде работает по умолчанию. в ghci у меня sum заметно медленнее, чем foldl' (+) 0

или таки бывают числа^Wобъекты, для которых strict sum выдаст реультат, отличный от lazy sum?

В ghci нет никаких оптимизаций. Насколько я помню, интерактивный режим медленнее, чем -O0

Если sum выражена через левую свертку, то нет.