Oleg Kiselyov

Freer monads, more extensible effects

2015 · ACM SIGPLAN Notices

We present a rational reconstruction of extensible effects, the recently proposed alternative to monad transformers, as the confluence of efforts to make effectful computations compose. Free monads and then extensible effects emerge from the straightforward …