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

[juan_gandhi]

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

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

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

Comments

[nivanych.livejournal.com]

> Во как! "Фидошечка" как светочь знаний.

Да какой там... Намекнули на что-то, читать-то я уже сам пытался...

> читать адекватно Малейна

Да я долгое время и не "читал адекватно", трудно очень было. И спросить не у кого.
Хотя сейчас уже понимаю, что наверное, можно было бы задолбать какое-нибудь ru.math вопросами.

[zeit-raffer.livejournal.com]

Вообще, эти ваши интернеты - замечательное место.
У одного человека можно вживую спросить, как он попал в "Белое Братство", у другого - как он приобщился к секте "Свидетелей Категорий"...
;)

[nivanych.livejournal.com]

Да хуже того, ещё и функциональщенское программирование рядом не прошло!
Вот тут уже вполне конкретно, фидошка повлияла.