Лаборатория языковых инструментов

В докладе будет рассмотрен достаточно узкий (но общеупотребимый) случай применения теоретико-категорной терминологии в области функционального программирования с типами; будет показано, как можно формально обосновать некоторые интуитивно-очевидные соотношения и что можно получить, используя принцип двойственности.

Материалы к докладу:

Jeremy Gibbons. Calculating Functional Programs.

Докладчик: Дмитрий Булычев