Category Theory to Describe Software Architecture
Станислав Капулкин и Владислав Цендровский «Теория категорий для описания архитектуры программ: проектирование и документирование»
В программировании существует практика описания шаблонов проектирования для решений типичных задач. В то же время опытные разработчики предостерегают начинающих разработчиков от чрезмерного использования шаблонов, замечая, что «шаблоны» - это ещё не всё, и нужно уметь придумывать самостоятельные решения. Теория категорий - как раз то все. Разработчики во многом мыслят интуитивно им и многие схемы, которые они рисуют на доске, являются категорными, то есть строгими конструкциями, а не просто рисунками. В докладе будет показано, насколько естественно описывать архитектуру проекта в теоркат схемах, как раскрывается выразительность языка теории, и какие дополнительные преимущества даёт использование теории.
Доклад представили Станислав Капулкин и Владислав Цендровский в рамках Встречи SpbDotNet №41.
