Моноид в категории эндофункторов? Денис Шевченко

Определение монады давно стало мемом в сообществе. В самом деле, это всего лишь моноид в категории эндофункторов, в чём проблема? Но ведь это больше чем просто мем - в нём отражено отношение сообщества к математическим корням Haskell, да и к математике в целом: её по-прежнему считают не только чрезмерно сложной, но и совершенно ненужной программисту. А между тем сама наша профессия глубоко математична по своей природе, и потому некоторые разделы математики - в частности, теория категорий - могут принести нам пользу, в том числе и сугубо практическую. Цель моего доклада - доказать это.

[@fakt7814]

Выступление хорошее, но звук ужасный.

[@renatamirov5267]

Спасибо! Синергия ораторского искусства и глубокого знания темы в действии! Эпилог шикарный!

[@nanoqsh]

Хороший доклад, только тихий. Врубил наушники на полную и всё равно ничего не услышал

[@gratc6876]

Потрясающий доклад. О сложном простым языком!)))

[@DenisShevchenko]

Благодарю!

[@sidixfull]

Доклад шикарен, благодарю!

[@DenisShevchenko]

@@sidixfull Большое спасибо!

[@web3tel]

Молодец, получилось хорошо!

[@DenisShevchenko]

Спасибо большое!

[@timurbabkin8113]

Только я заметил, что докладчик так и не объяснил что означает определение "Монада - это моноид в категории эндофункторов"? В прочем, скорее всего, подразумевалось, что доклад не об этом

[@ne4to777]

Автор красавчик, наконец-то хоть кто-то сказал, что итерация по списку к функтору не имеет никакого отношения.

[@tuku_mann]

Прояснилось, спасибо

[@user-sn9dy5sq1q]

В самом начале получил Рыбников вайб

[@lukandrate9866]

Мысли читаешь, дружище

[@alexanderskusnov5119]

Если "функтор сохраняет структуру", то как объяснить функтор функции (это композиция)?

[@yardez5990]

композиция функций - это тоже стрелка ,т.е. функция

[@leobreydo9318]

Популяризаторы напоминают плохих продавцов :(

[@NEOSIM67]

Ещё больше запутал :(((