Modular Language Extensions with Handlers and Transformers
Tom Schrijvers‚ Nicolas Wu‚ Benoit Desouter and Bart Demoen
Abstract
Modelling computational effects using monads is now well established practice, but extending the functionality of existing monads can be challenging, especially when the internal workings are not exposed. This paper shows a light-weight approach to extending such a monad by using free transformers to add syntactic constructs, and effect handlers to provide a semantics. We use this technique in an extended case study that tackles a long-standing problem in logic programming: how to cleanly separate logic and control. Our solution is not restricted to a functional model, and we show how to implement our constructions directly in Prolog.
Details
Month |
March |
Note |
Under submission |
Year |
2014 |
Links
Related pages
People |