LFCS seminar: KC Sivaramakrishnan: Practical Algebraic Effect Handlers in Multicore OCaml
—
filed under:
LFCS Seminar,
Upcoming events
What 


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 welldeserved attention as
a modular abstraction for programming with computational effects. Algebraic
effects declare abstract sideeffecting 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 builtin 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.