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

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

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