A Diagrammatic Calculus for Algebraic Effects
Abstract
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. Additionally, we show a number of algebraic and order-theoretic laws on diagrams, this way laying the foundations for a diagrammatic calculus of algebraic effects. We give a formal foundation for such a calculus in terms of Lawvere theories and generic effects.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2020
- DOI:
- 10.48550/arXiv.2001.01337
- arXiv:
- arXiv:2001.01337
- Bibcode:
- 2020arXiv200101337D
- Keywords:
-
- Computer Science - Programming Languages;
- Computer Science - Logic in Computer Science