A Diagrammatic Calculus for Algebraic Effects

01/05/2020

∙

by   Ugo Dal Lago, et al.

∙

0

∙

share

We introduce a new, diagrammatic notation for representing the result of algebraic effectful computations. Our notation explicitly separates the effects produced during a computation from the possible values returned, this way simplifying the extension of definitions and results on pure computations to an effectful setting. We give a formal foundation for our notation in terms of Lawvere theories and generic effects.