Programming with monads can be advantageous even in imperative languages with builtin support for side effects. However, in these languages composing monadic programs is different from composing side-effecting imperative programs. This does not need to be the case, as already noticed by Filinski . We revive the well-known technique of monadic reflection in the context of modern programming languages with support for fibers, generators, or coroutines. In particular, we show how (layered) monadic reflection can be implemented in a stack safe manner and how effect safety can conveniently be approximated by capability passing.
Sun 22 AugDisplayed time zone: Seoul change
16:00 - 17:30
|Representing Monads with Capabilities|
|Higher-order Programming with Effects and Handlers — with First-Class Functions|
|Computational and Contextual Program Differences: Reasoning About Non-equivalent Effectful Programs in an Higher-Order Scenario|