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

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

Введение в алгебраические эффекты

October 2

Алгебраические эффекты --- сравнительно новая тема в области языков программирования, первые работы в которой можно отнести к началу 2000-х годов. Алгебраические эффекты можно рассматривать как минимум с двух точек зрения: во-первых, как к универсальному способу описания денотационной семантики языков с различными "хитростями" в поведении (побочными эффектами, расходимостью, недетерминизмом и т.д.), и, во-вторых, как к способу интегрирования этих "хитростей" в функциональный язык с сохранением его полезных свойств. В докладе будет использоваться именно этот подход --- мы рассмотрим язык с алгебраическими эффектами, его операционную семантику и интересные примеры использования.

Материалы к докладу:

Matija Pretnar. An Introduction to Algebraic Effects and Handlers.

Andrej Bauer, Matija Pretnar. Programming with Algebraic Effects and Handlersand Handlers.

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