проблемы с Haskell

> не быстро.. да... но работает.. нормально

А не должно.

Только что проверил первый вариант. Упало, как и следовало ожидать.

ммм....
1) почему не должно?
2) как правильно найти среднее арифметическое списка Double?
Как только не пробовал... и через foldl' и... в общем. Как?

и как выглядит неработающий вариант с foldl' ?

import Data.List
x :: [Double]
x = take 500000 [1..]

average xs = foldl' count (0, 0) xs
      where count acc x = (fst acc + x, snd acc + 1)

main = do
	     print (average x)

-- мб не красиво, но должно же работать.... 

Да.. вычисляет не среднее, а пару (сумма ряда, количество элементов)

import Data.List

x' :: [Double] x' = take 5000000 [1..]

average xs = foldl' count (0, 0) xs where count (!s, !l) !x = (s + x, l + 1)

main = print (average x')

-- -XBangPatterns rulez

> мб не красиво, но должно же работать

Ленивость. Получается длинное выражение из плюсов и чисел. Естественно, оно падает.

Хм.. я просто пологал, что foldl' как раз не должен быть ленивым....

Хм. Видишь ли, есть разные понятия строгости. Грубо говоря, foldl' гарантирует, что значение отлично от жопы (то есть (_|_) - видел такое обозначение?) Для случая, когда значение - простой тип вроде Double, этого достаточно, кроме жопы там есть только обычные значения. Для случая, когда мы считаем пару, он не гарантирует, что значение отлично от ((_|_), (_|_)) - а значит, откладывает вычисление элементов пары. Грубо говоря, foldl' убеждается, что пара, полученная на очередном этапе - именно пара, а не, например, ошибка; дальше он не лезет.

В Хаскеле нет способа форсировать вычисление на всю глубину, если она заранее неизвестна. Стандартные функции типа seq и foldl' форсируют лишь один уровень вычисления.

Угу.... спасибо....