Исследовательская группа

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

Типизированные комбинаторы сопоставления с образцом

December 7

Возможность расширять язык программирования без изменений в компиляторе свидетельствует о его большой выразительности. В докладе будет представлен метод, который позволяет добавить в Haskell статически-типизируемые first-class паттерны, превосходящие по своим возможностям стандартный pattern-matching.

Докладчик: Татьяна Агапова.

Материалы