Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Fri 28 Sep 2018 15:30 - 16:10 at New York Central - Session 3

We tackle the issue of abstraction in languages with algebraic effects and handlers, in the sense embodied by an ML-style module system. This issue turns out to be not as simple as hiding the definition of an effect from the user, since the execution of effectful programs rely on a dynamic process of matching an operation to the appropriate handler. This process, if implemented naively, can break the abstraction by “stealing” an effect from the inside of what was supposed to be a black box. However, we can solve this issue in an elegant way by introducing effect coercions that prevent such capture. In this presentation, we discuss the design principles and practice of programming in Helium: an experimental language that features abstract algebraic effects.

Fri 28 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

15:30 - 16:10
Session 3ML at New York Central
15:30
40m
Talk
Programming with Abstract Algebraic Effects
ML
Dariusz Biernacki University of Wrocław, Maciej Piróg University of Wrocław, Piotr Polesiuk University of Wrocław, Filip Sieczkowski University of Wrocław