Теория категорий для программистов. На пальцах

Развивая наш неослабевающий интерес к серьезной, можно сказать, академической литературе, мы добрались и до теории категорий. Эта тема в знаменитом изложении Бартоша Милевского уже фигурировала на Хабре и к настоящему времени может похвастаться такими показателями:


Тем более приятно, что нам удалось обнаружить сравнительно свежий материал (январь 2020), служащий отличным и при этом максимально кратким введением в теорию категорий. Надеемся, что нам удастся заинтересовать вас этой темой

Если мы с вами, уважаемый читатель, сталкивались со схожими проблемами, то и вас когда-то мучил вопрос «черт возьми, что такое монада?!» Затем вы гуглили этот вопрос, незаметно падая в кроличью нору абстрактной математики, запутываясь в функторах, моноидах, категориях, пока не замечали, что уже забыли, какой вопрос вас сюда завел. Такой опыт может быть весьма ошеломительным, если ранее вы в глаза не видели языков для функционального программирования, но не волнуйтесь! Я за вас проштудировал многие страницы густой математики и посмотрел целые часы лекций на эту тему. Таким образом, чтобы избавить вас от такой необходимости, я резюмирую здесь эту тему, а также покажу, каким образом можно применить теорию категорий, чтобы вы могли прямо с сегодняшнего дня мыслить (и писать код) в функциональном стиле.