Категории типов. Итоги

27 июл 2026

Обзор, посвящённый применению элементов теории категорий в программировании, завершён. Настало время подвести его итоги. Читать далее