Combining Computational Effects: commutativity & sum
Combining Computational Effects: commutativity & sum
复制标题
组合计算效果：交换性
DOI：
10.1007/978-0-387-35608-2_39
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
J. Power
中科院分区：
文献类型：
--
作者：
M. Hyland;G. Plotkin;J. Power
我们寻求一个统一的计算效果的模块化帐户，使用丰富的Lawvere理论的概念，连同它与强单子的关系，重新制定莫吉的计算效果建模的范式。然后，作为理论的效应被适当的双函子（在理论范畴上）组合起来。我们给出了一个理论的交换组合的影响，特别是产生莫吉的副作用单子Transformer。我们给出了一个理论的计算效果的总和，特别是产生莫吉的例外单子Transformer。
We seek a unified account of modularity for computational effects, using the notion of enriched Lawvere theory, together with its relationship with strong monads, to reformulate Moggi’s paradigm for modelling computational effects. Effects qua theories are then combined by appropriate bifunctors (on the category of theories). We give a theory of the commutative combination of effects, which in particular yields Moggi’s side-effects monad transformer. And we give a theory for the sum of computational effects, which in particular yields Moggi’s exceptions monad transformer.