foldl and foldr considered slightly harmful

[alexey_rom]

Guy Steele про параллелизацию функциональных программ: слайды (в pdf), видео

Comments

[antilamer.livejournal.com]

Боян несколькомесячной давности, но презентация действительно классная.
Категорически рекомендую прочитать теоретическую подоплеку - статью и книгу Guy Blelloch "Vector models for data-parallel computing".

[deni-ok.livejournal.com]

О, оказывается я что-то не понял. Мне показалось всё довольно тривиальным. Надо почитать статью

[alexey-rom.livejournal.com]

Спасибо за ссылку, не знал об этой книге. Что несколькомесячной давности, я заметил, но тогда я её пропустил.

[deni-ok.livejournal.com]

Я, конечно, проглядел по диагонали, но вывод про fold'ы мне не очень понятен. Fold над списком, да, не параллелится. Fold над сбалансированным деревом, да, лучше (в смысле потенциального распараллеливания). Там есть что-то менее тривиальное?

Вот, кстати, задумался. Для наиболее эффективного распараллеливания на N процессоров имеет ли смысл пихать данные в RoseTree c branching factor = N? Какие алгоритмы будут к этому отзывчивы?

[ivan-gandhi.livejournal.com]

Хоть это всё и довольно очевидно, но приятно слышать.

А философски ежели, что ж получается, списки хуже, чем sets и maps? В принципе да, конечно. А то б математика на теории списков основывалась бы. Что, конечно, тоже интересный challenge. Можно ж и на теории игр основывать (бог и чёрт играют в кости; один выигрывает - аксиома выбора верна, другой выигрывает - неверна; на этом строится топология, на такой топологии строится физика (и богословие).

[ilyaraz.livejournal.com]

На теории игр Conway вполне себе построил теорию чисел. :)