читаю всякую хрень

[juan_gandhi]

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

Это обстановка примерно как в 1900-м году с теорией множеств, подход в стиле "а хуле, вот вам парикмахер, он бреет всех мужчин, кто сам не бреется, и только их". Причем при введении сильных типов решение состоит в том, чтобы нанять парикмахершу, но, как известно, джедаям типы не нужны.

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

Comments

Re: как много непересекающихся миров

[thedeemon.livejournal.com]

Не, просто Александреску не в фейсбуке больше, занялся своим любимым языком без монад.

А монадами на хаскеле (и окамле) как раз и в фейсбуке народ тоже занимается, можно далеко не ходить.

Re: как много непересекающихся миров

[a r (from livejournal.com)]

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