2024 09 01 знаете теорию категорий
(090/100) Знаете теорию категорий?
Некоторые программисты доходят до функционального программирования, и вот я тоже хочу покодить на Haskell/F#/OCaml. Там они сталкиваются с концептом “моноидов”. 95% из них делают это, чтобы потом прийти и рассказать, что такое аппликативные функторы.
(Аппликативный функтор — это такая штука, которая позволяет работать с эффектами, как если бы они были обычными значениями, применяя функции к данным, завернутым в контекст. Представьте, что у вас есть функция и набор данных в каком-то “контейнере”, и аппликативный функтор позволяет “распаковать” этот контейнер и применить функцию, не нарушая логику работы с эффектами.)
В математике есть ещё более абстрактная и мощная концепция — теория категорий. И у меня в этой области большой пробел, поэтому кидаю клич: если кто-то знает хорошую последовательность для освоения, поделитесь ссылками и книжками в комментариях.
P.S. Всех с Днём знаний!
#марафон @chernov_sharit