читаю всякую хрень
Dec. 21st, 2015 04:18 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
juan_gandhiИ постепенно нарастает пессимизм.
Хаскельщики, ан масс, ни хера не понимаю в теории категорий.
Верят, что всякая монада сильна.
Верят, что на всякий функтор есть свободная монада.
Верят, что на всякий функтор есть свободный апликативный функтор.
Это обстановка примерно как в 1900-м году с теорией множеств, подход в стиле "а хуле, вот вам парикмахер, он бреет всех мужчин, кто сам не бреется, и только их". Причем при введении сильных типов решение состоит в том, чтобы нанять парикмахершу, но, как известно, джедаям типы не нужны.
Короче, если не читать всякую хуйню, то понимание сути вещей значительно усиливается. Хотя и не достигаешь просветления; для этого нужно читать правильные вещи.
Хаскельщики, ан масс, ни хера не понимаю в теории категорий.
Верят, что всякая монада сильна.
Верят, что на всякий функтор есть свободная монада.
Верят, что на всякий функтор есть свободный апликативный функтор.
Это обстановка примерно как в 1900-м году с теорией множеств, подход в стиле "а хуле, вот вам парикмахер, он бреет всех мужчин, кто сам не бреется, и только их". Причем при введении сильных типов решение состоит в том, чтобы нанять парикмахершу, но, как известно, джедаям типы не нужны.
Короче, если не читать всякую хуйню, то понимание сути вещей значительно усиливается. Хотя и не достигаешь просветления; для этого нужно читать правильные вещи.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2015-12-22 04:25 pm (UTC)Так это общее явление. Большинство естественно возникших теорий (т.е. без влияния ТК) - это теории одной категории. Теория множеств, разные лямбды с типами, теория групп или коммутативных алгебр. Это потом пришел Гротендик и всех растормошил, да. А так большинство людей-специалистов всю жизнь проводит в одной категории.