Станислав Капулкин, Владислав Цендровский «Теория категорий для описания архитектуры программ»

В программировании существует практика описания шаблонов проектирования для решений типичных задач. В то же время опытные разработчики предостерегают начинающих разработчиков от чрезмерного использования шаблонов, замечая, что «шаблоны» - это ещё не всё, и нужно уметь придумывать самостоятельные решения. Теория категорий - как раз то все. Разработчики во многом мыслят интуитивно им и многие схемы, которые они рисуют на доске, являются категорными, то есть строгими конструкциями, а не просто рисунками. В докладе будет показано, насколько естественно описывать архитектуру проекта в теоркат схемах, как раскрывается выразительность языка теории, и какие дополнительные преимущества даёт использование теории.

[@ThePavelPower]

Ох, хорошо бы было, если бы лучше готовился к выступлению

[@Vernad]

Спасибо! Каким редактором создавались схемы?

[@dingoswill8897]

Похоже закрыли проект. Сайте, указанный в конце лекции не работает