Thursday, 26 November 2015, 14:00
Cybernetica Bldg (Akadeemia tee 21), room B101
Slides from the talk [pdf]
Abstract: Effect handlers have recently been proposed as a new means of working with compositional effects, and threaten to replace monad transformers. Their key advantage is a cleaner way of expressing semantics since they are defined in terms of algebras. An often misunderstood aspect is how they compare to monad transformers with respect to compositionality of effects. This talk will introduce both methodologies and show how they relate.
This is joint work with Tom Schrijvers (KU Leuven).