Я несколько месяцев изучал теорию категорий. Вот зачем она оказалась нужна мне как программисту

[Mavolio-Bent]

Извините, не удержался

Скрытый текст

[Lsdrfrx]

Мем успешно украден!

Постарался вложить в пост одну единственную мысль – теоркат открыл мне новый, интересный взгляд на вещи. Не новые способы навести шороху, чтобы просто было, не новую пачку красивых математических паттернов. Надеюсь, статья не выглядит так, как на картинке :D

Если есть возможность написать абсолютно плоский императивный код без математических изысков – я выберу этот вариант, поскольку любая технология / теория / идея не должны служить во вред.

[OlegZH]

(в сторону) Обычно, статьи о категориях сопровождаются красивыми коммутативными (и некоммутативными) диаграммами... ;-)

[murkin-kot]

Ну а продолжение где?

Теория насоздавала набор доказано корректных преобразований. Начальный уровень, вроде композиции функций, показан. А дальше нужно вводить те самые корректные преобразования. Тогда ряд относительно сложных алгоритмов будет выполняться стандартными библиотеками, которые скроют от разработчика внутреннюю сложность и одновременно будут корректно преобразовывать что там нам надо.

Правда есть минус - надо понимать эту самую скрытую сложность. То есть от неё не уйти. Но когда она сидит в мозге на уровне рефлексов, в повседневной работе общение с ней становится практически бесплатным. Соответственно, для нормальной работы сначала нужно потратить много времени на наработку рефлексов. Это как с десятипальцевым методом печати - быстро, но только потратив значитальное время на входе.

Вот в эту сторону надо было продолжать.

[k12th]

Я не борцун с ИИ, но отрадно что в эту эпоху кто-то еще изучает такие на первый взгляд отвлеченные вещи как теорию категорий.