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

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

Переиспользование кода на основе объектно-ориентированных преобразователей

October 5

В докладе рассматривается идиома объектно-ориентированных преобразователей алгебраических типов данных в языках, которые содержат как функциональные, так и объектно-ориентированные конструкции (OCaml и, возможно, Scala). Будет показано, как с помощью единственной type-indexed функции и набора пользовательских объектно-представленных трансформаций можно выразить локально-модифицируемые катаморфизмы. Применение данной техники для расширяемых типов позволяет также решить expression problem.

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

Материалы