Тут в PCWeek...

[thesz]

...некий идиот про Хаскель пишет. Идиот потому, что принимает желчное брюзжание Харпера за доброжелательную критику. И потому, что считает, что ленивые вычисления могут создать проблему в проекте с участием нескольких людей.

Сим прошу редакцию PCWeek унять этого идиота.

Меня не послушают, но не высказаться не мог.

Comments

[jdevelop]

лично мне не очень понятна необходимость в IO монаде, которая как бы обязывает, писать костыли вида

(C.do_curl_ $!) ....

[thesz]

Прошу прощения, но я не понимаю, что вы написали.

[jdevelop]

https://github.com/jdevelop/lj-autorespond/blob/master/LJAutorespond.hs

строка 69, если убрать конструкцию с $! - то работать нифига не будет, что неочевидно ни разу

[thesz]

Что говорят авторы?

[vshabanov]

У него еще по первой же ссылке Феномен Haskell, перечислены пункты и написано, что к ним подходит и питон, хотя он подходит от силы к двум-трем пунктам.

А про "дни и дни на тюнинг" ленивых вычислений уже давно неправда. В ghc 7.4, программа в режиме профилирования почти не тормозит. Врубив heap profiling и написав простенький скрипт можно смотреть расход памяти прямо в процессе работы программы. Я, посмотрев на выхлоп, достаточно быстро сообразил, что не форсируется Map-ка, при удалении из нее элементов "(368150)bin/delete.go..." и кушается память в dns-кеше "(6747)resolveA...". Причем последнее навело меня на мысль "ооо, там же bytestring вместо text, вот она откуда фрагментация памяти появилась"

Так что утечки ловить достаточно просто, ибо есть для этого инструмент.

Кстати, фрагментация памяти очень сильно просаживает производительность, так что не стоит применять bytestring-и для долгоживущих данных (особенно если они выделяются не одним махом, а по чуть-чуть, в разных кусках памяти, как было у меня с dns-кешем).

[thesz]

Товарищ феерический, ты совершенно прав.

Фрагментация тормозит программу в десять раз, даже чуть больше, недавно убедился. ;)

[zelych]

"ооо, там же bytestring вместо text, вот она откуда фрагментация памяти появилась"

а почему text не способствует фрагментации?
мне казалось что они одинаково внутри устроены.

сейчас вот заглянул в исходники, первое что бросилось в глаза: в байтстроке ForeignPtr, а в тексе Array.
т.е. сборка мусора спасает.
так?

[vshabanov]

ForeignPtr в pinned memory, т.е. не перемещается по куче (что удобно при работе с Си). Array может перемещаться, убирая фрагментацию

[dmzlj]

непонятно, чего он вообще именно к хаскеллу прикопался. это не мейнстрим по любому. кто хочет --- пишет, кто не хочет --- не пишет. наверное, просто хотел что-то умное написать

[thesz]

Со стороны выглядит, как не разобравшийся в проблеме идиот.

Буду я ещё в сортах журналистов разбираться. ;)