Лаборатория языковых инструментов
Введение в алгебраические эффекты
Алгебраические эффекты --- сравнительно новая тема в области языков программирования, первые работы в которой можно отнести к началу 2000-х годов. Алгебраические эффекты можно рассматривать как минимум с двух точек зрения: во-первых, как к универсальному способу описания денотационной семантики языков с различными "хитростями" в поведении (побочными эффектами, расходимостью, недетерминизмом и т.д.), и, во-вторых, как к способу интегрирования этих "хитростей" в функциональный язык с сохранением его полезных свойств. В докладе будет использоваться именно этот подход --- мы рассмотрим язык с алгебраическими эффектами, его операционную семантику и интересные примеры использования.
Материалы к докладу:
Matija Pretnar. An Introduction to Algebraic Effects and Handlers.
Andrej Bauer, Matija Pretnar. Programming with Algebraic Effects and Handlersand Handlers.
Докладчик: Дмитрий Булычев