Несколько месяцев назад я зачем-то полез изучать теорию категорий. Причины были примерно те же, по которым нормальные люди иногда решают разобраться в квантовой механике по роликам на YouTube: звучит умно, выглядит загадочно, а главное – можно потом с важным лицом употреблять слово «эндофунктор» в компании людей, которые не могут проверить, несёшь ты ахинею или нет. В моём случае ситуацию усугубляла любовь к функциональному программированию, поэтому рано или поздно столкновение с теоркатом было неизбежно.
Первые впечатления были соответствующими. Категории, морфизмы, функторы, естественные преобразования, монады, знаменитое «монада – это моноид в категории эндофункторов». Я читал определения, вроде бы даже понимал отдельные слова, закрывал книжку и через пару часов снова не мог ответить на простой вопрос: а зачем мне всё это как программисту? Я пишу обычные приложения, крашу кнопки, перекладываю JSON из одного места в другое. Где в этой картине должны появиться все эти стрелочки?
Постепенно ответ всё-таки начал складываться, причём оказался он немного не таким, как я ожидал. Теория категорий не дала мне какой-то секретной техники написания программ, после которой код внезапно стал в десять раз лучше. Я не начал рисовать коммутативные диаграммы перед каждым пулл-реквестом и пока ещё не требую от коллег доказательства законов на код-ревью. Изменилось другое: я стал гораздо чаще замечать, что совершенно разные на первый взгляд задачи имеют одну и ту же форму. А если форма одна и…
Х…
