Исследовательская группа
Лаборатория языковых инструментов
О категориях, функторах, алгебрах и функциональном программировании с типами
October 8
В докладе будет рассмотрен достаточно узкий (но общеупотребимый) случай применения теоретико-категорной терминологии в области функционального программирования с типами; будет показано, как можно формально обосновать некоторые интуитивно-очевидные соотношения и что можно получить, используя принцип двойственности.
Материалы к докладу:
Jeremy Gibbons. Calculating Functional Programs.
Докладчик: Дмитрий Булычев