## User login## Navigation |
## Combining computational effectsWhile some researchers seek to generalize monads (to arrows), others try to narrow the focus to achieve a richer theory (and probably deeper understanding). Combining computational effects: commutativity and sum We begin to develop a unified account of modularity for computational effects. We use the notion of enriched Lawvere theory, together with its relationship with strong monads, to reformulate Moggi's paradigm for modelling computational effects; we emphasise the importance here of the operations that induce 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 (an application is the combination of side-effects with nondeterminism). And we give a theory for the sum of computational effects, which in particular yields Moggi's exceptions monad transformer (an application is the combination of exceptions with other effects).A longer version: Combining Effects: Sum and Tensor |
## Browse archives## Active forum topics |

## Recent comments

1 hour 30 min ago

7 hours 25 min ago

1 day 11 min ago

1 day 9 hours ago

1 day 20 hours ago

1 day 21 hours ago

1 day 21 hours ago

1 day 22 hours ago

1 day 22 hours ago

2 days 1 hour ago