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

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

Обобщенные преобразователи типизированных данных II

October 26

В предыдущей части доклада мы рассмотрели понятия алгебр и коалгебр и поняли, как они связаны с катаморфизмами, анаморфизмами и хиломорфизмами. Во второй части мы определим правило вычисления для каждого из типов морфизмов, а также докажем некоторые свойства (fusion law, uniqueness property). Затем мы рассмотрим, как с их помощью выражаются распространённые функции, и разберём несколько примеров, в которых применение fusion law позволяет произвести интересные трансформации вычислений в сторону их большей эффективности.

Докладчик: Игорь Жирков.