Исследовательская группа
Лаборатория языковых инструментов
Интроспекция типов в Haskell и её использование
16 ноября
Под интроспекцией типов понимается возможность изучить тип элемента данных при работе программы. Одно из преимуществ статически-типизированных языков заключается в том, что при их использовании для работы программ не требуется хранить типовую информацию. С другой стороны, это же обстоятельство препятствует естественной реализации интроспекции, которая иногда нужна. В докладе рассматривается один из подходов к реализации некоторого вида интроспекции для языка Haskell и примеры её использования.
Докладчик: Дмитрий Булычев.