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

[juan_gandhi]

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

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

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

Comments

[zeit-raffer.livejournal.com]

Тогда вопрос. Если в студенчестве категорные наклонности не проявлялись, то что сподвигло Вас (подсадило на иглу) позже?

[nivanych.livejournal.com]

Они мож и проявлялись в какой-то интуиции.
Но не нашёлся какой-то человек, чтоб что-то подсказать.
И сейчас, никто почти и не знает про категории, кроме некоторых преподавателей, но они не считают нужным знакомить с этим материалом...
Там у нас почти никто не занимается темами, где категории напрямую полезны.
Нет там алгебраической геометрии с топологией, например. Про гомологическую (ну или гомотопическую) алгебру почти никто не слышал...
Вот Марина молодец, собирала семинар, но это было уже более 10 лет спустя.
На самом деле, что-то мож было и раньше, но я просто не мог распознать.

Ну вот фидошечку читал, про типизацию и ML/Haskell узнал, Харрисона прочитал. Узнал про то, что категориями многое описывается и что они практически были сформированы алгебраической топологией и геометрией.
Начал пытаться что-то искать, интересоваться...
Кстати, не последюю роль сыграло желание разобраться с монадами как следует.
А к 2003 году уже и Маклейна новое издание подоспело. И тогда же, я узнал о том, что было и старое издание...

[zeit-raffer.livejournal.com]

Во как! "Фидошечка" как светочь знаний.
Ну и понятно, что читать адекватно Малейна сможет только человек с уже полученным математическим бекграундом.

Мне же попался наш киевский журнал "Кибернетика и системный анализ" за 93 или 94 год, там была статья про (якобы) широкие перспективы применения топосов в деле построения программных комплесов, и я, увидев такое, сразу понял что это ОНО.

[nivanych.livejournal.com]

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

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

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

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

[zeit-raffer.livejournal.com]

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

[nivanych.livejournal.com]

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