Archived tweet #10221 from the @leastfixedpoint Twitter Archive

@DRMacIver @__vlqc Another way of looking at it is that you're after algebraic effects & handlers: eff-lang.org/handlers-tutor… (see also citeseerx.ist.psu.edu/viewdoc/summar…)