Juan-Carlos Gandhi (![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
juan_gandhi) wrote2015-12-21 04:18 pm
juan_gandhi) wrote2015-12-21 04:18 pm
читаю всякую хрень
И постепенно нарастает пессимизм.
Хаскельщики, ан масс, ни хера не понимаю в теории категорий.
Верят, что всякая монада сильна.
Верят, что на всякий функтор есть свободная монада.
Верят, что на всякий функтор есть свободный апликативный функтор.
Это обстановка примерно как в 1900-м году с теорией множеств, подход в стиле "а хуле, вот вам парикмахер, он бреет всех мужчин, кто сам не бреется, и только их". Причем при введении сильных типов решение состоит в том, чтобы нанять парикмахершу, но, как известно, джедаям типы не нужны.
Короче, если не читать всякую хуйню, то понимание сути вещей значительно усиливается. Хотя и не достигаешь просветления; для этого нужно читать правильные вещи.
Хаскельщики, ан масс, ни хера не понимаю в теории категорий.
Верят, что всякая монада сильна.
Верят, что на всякий функтор есть свободная монада.
Верят, что на всякий функтор есть свободный апликативный функтор.
Это обстановка примерно как в 1900-м году с теорией множеств, подход в стиле "а хуле, вот вам парикмахер, он бреет всех мужчин, кто сам не бреется, и только их". Причем при введении сильных типов решение состоит в том, чтобы нанять парикмахершу, но, как известно, джедаям типы не нужны.
Короче, если не читать всякую хуйню, то понимание сути вещей значительно усиливается. Хотя и не достигаешь просветления; для этого нужно читать правильные вещи.
no subject
no subject
no subject