Category-Theory-to-Describe-Software-Architecture.xml

<Talk>
  <Id>Category-Theory-to-Describe-Software-Architecture</Id>
  <SpeakerIds>
    <SpeakerId>Stanislav-Kapulkin</SpeakerId>
    <SpeakerId>Vladislav-Tsendrovsky</SpeakerId>
  </SpeakerIds>
  <Title>Теория категорий для описания архитектуры программ: проектирование и документирование</Title>
  <Description>В программировании существует практика описания шаблонов проектирования для решений типичных задач. В то же время опытные разработчики предостерегают начинающих разработчиков от чрезмерного использования шаблонов, замечая, что «шаблоны» - это ещё не всё, и нужно уметь придумывать самостоятельные решения. Теория категорий - как раз то все. Разработчики во многом мыслят интуитивно им и многие схемы, которые они рисуют на доске, являются категорными, то есть строгими конструкциями, а не просто рисунками. В докладе будет показано, насколько естественно описывать архитектуру проекта в теоркат схемах, как раскрывается выразительность языка теории, и какие дополнительные преимущества даёт использование теории.</Description>
  <SlidesUrl>https://github.com/DotNetRu/AuditBlobs/blob/master/slides/Category-Theory-to-Describe-Software-Architecture.pdf</SlidesUrl>
  <VideoUrl>https://www.youtube.com/watch?v=S7MUd3D0IVY</VideoUrl>
</Talk>