Чото полез читать главу 26 realworldhaskell Profiling and Optimization (это там где простенькую програмку, отжирающую 700 метров оперативки, путем диеты и многодневных тренировок^W stack overflow заставляют жрат 1 Мб) и еще раз понял, что вся вот эта ленивость — это хуевая исследовательская профанация, потому что вручную оптимизировать рекурсивные вызовы — это ZOMG.
Да, попиздеть на тему — вот здесь должна быть такая оптимизация, а тут нет, а тут strict, а тут lazy (вот зачем на самом деле нужны монады — поставить перегородки где нужно) — это ок. Работать — не ок. В erlang написали встроенные в машину функции.
Признаться, я первоначально думал, что вот вся эта ленивость — штоб компилятор прошелся и повыбрасывал все ненужное к хуям, а высокоуровневые конструкции вроде хвостовой рекурсии упаковал по полной программе (точнее, unroll и иже). А тут получилось, что она тоже — исследовательская концепция.

#ozhnfg

add comment recommend bookmark subscribe