Please log in to watch this conference skillscast.
Effect handlers are a clean way of describing various effects in a principled and modular way. The approach models the syntax and semantic of operations, where syntax is given by a free monad, and the semantics is given by a handler. Traditionally, the operations must be algebraic in that they must behave well with respect to substitution, but this limits the applicability of the approach: operations such as `catch` for exceptions, `local` for reader, and `spawn` for concurrent computations are not algebraic. This talk introduces scoped effect handlers as a way of expressing such effects.
YOU MAY ALSO LIKE:
The Scope of Algebraic Effects
Dr Nicolas Wu is a Senior Lecturer at the Department of Computing, Imperial College London. He holds a DPhil from the University of Oxford, where he also studied as an undergraduate at Brasenose College. His research interests are centred around programming languages, where he has made advances in applications of category theory for giving the semantics of programs and algorithms. In particular, his recent work has been focused on showing the connections between domain specific languages, algebraic effect handlers, and structured recursion schemes.