论文标题
代数效应的示意分子
A Diagrammatic Calculus for Algebraic Effects
论文作者
论文摘要
我们引入了一种新的图表符号，以表示（代数）有效计算的结果。我们的符号明确将计算过程中产生的效果与返回的值分开，这种方式将定义的扩展和纯计算上的结果扩展到有效的设置。此外，我们在图表上显示了许多代数和秩序理论定律，从而为代数效应的示意计算奠定了基础。我们在律师理论和通用效果方面为这种微积分奠定了正式的基础。
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.
