Personal tools
You are here: Home Events LFCS seminar: KC Sivaramakrishnan: Practical Algebraic Effect Handlers in Multicore OCaml

LFCS seminar: KC Sivaramakrishnan: Practical Algebraic Effect Handlers in Multicore OCaml

— filed under: ,

What
  • LFCS Seminar
  • Upcoming events
When Nov 22, 2016
from 04:00 PM to 05:00 PM
Where IF 4.31/4.33
Add event to calendar vCal
iCal
Algebraic effects and handlers have recently garnered well-deserved attention as
a modular abstraction for programming with computational effects. Algebraic
effects declare abstract side-effecting operations whose interpretation is given
by the handlers. Languages such as Eff have demonstrated that handlers can be
used as a more composable alternative to monads for implementing effects in a
pure language.
 
In this talk, I will describe the native implementation of algebraic effect
handlers in multicore OCaml. The original motivation for this work was to
provide built-in support for concurrency in OCaml without tying the language to
a particular concurrency implementation. However, algebraic effects support many
interesting examples beyond concurrency. A key requirement while adding effect 
handlers to OCaml is performance backwards compatibility. I will discuss the 
challenges and the design choices we have made in order to make algebraic effect 
handlers a practical programming abstraction for Multicore OCaml.

Document Actions