States and exceptions are dual effects

Global states and exceptions form two basic computational effects. In this paper it is proved that they can be seen as dual to each other: the lookup and update operations for global states are dual to the raise and handle operations for exceptions, respectively. In order to get this result we use a monad for exceptions and a comonad for global states.

• Type: Journal
• Year: 2010
• Where: CORR
• Authors: Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud
• Keywords: Basic Computational Effects, CORR 2010, Education, Global States, Paper