Implementing Algebraic Effects in C
“Monads for Free in C”Microsoft Research Technical Report MSR-TR-2017-23Daan LeijenMicrosoft Research
[email protected]. We describe a full implementation of algebraic effects and
handlers as a library in standard and portable C99, where effect oper-
ations can be used just like regular C functions. We use a formal op-
erational semantics to guide the C implementation at every step where
an evaluation context corresponds directly to a particular C exe
