Maciej is a researcher working on design and semantics of programming languages. He finds joy in discovering how highly abstract mathematical ideas give rise to practical, down-to-earth programming principles, hence his interest in category theory and type theory. A Haskell programmer. Currently at the University of Wrocław, Poland, previously at KU Leuven, Belgium, and the University of Oxford, UK. Homepage: http://www.ii.uni.wroc.pl/~mpirog/
Effect handlers are a novel approach to computational effects: exceptions, mutable state, IO, nondeterminism, and such. Handlers are a hot topic in the functional programming research community, but also a simple and practical language feature for programming with effects. In this talk, I'll give a quick programmer-oriented tutorial on the basics of this approach, and show how effect handlers excel where the more traditional monadic approach often fails: the freedom of expression and effect composition.