The marriage of effects and monads
The marriage of effects and monads
复制标题
效果和单子的结合
DOI：
--
复制
发表时间：
1998
期刊：
影响因子：
--
通讯作者：
M. Waldron
中科院分区：
文献类型：
--
作者：
Jennifer S Peel;M. Mcnarry;S. Heffernan;V. Nevola;L. Kilduff;M. Waldron
Gifford 和其他人提出了一种效果类型规则来界定程序内计算效果的范围，而 Moggi 和其他人出于同样的目的提出了 monad。在这里，我们将效应与单子结合起来，将两个以前独立的研究方向结合起来。特别是，我们表明 Talpin 和 Jouvelot 的类型、区域和效果系统直接延续到单子的类似系统，包括类型和效果重建算法。同样的技术应该允许人们将任何效果系统转置为相应的单子系统。
Gifford and others proposed an effect typing discipline to delimit the scope of computational effects within a program, while Moggi and others proposed monads for much the same purpose. Here we marry effects to monads, uniting two previously separate lines of research. In particular, we show that the type, region, and effect system of Talpin and Jouvelot carries over directly to an analogous system for monads, including a type and effect reconstruction algorithm. The same technique should allow one to transpose any effect systems into a corresponding monad system.