 |
 |
|
|
| HAL : hal-00445873, version 2 |
| arXiv : 1001.1662 |
| Fiche détaillée |  Récupérer au format |
 |
| Versions disponibles : | v1 (11-01-2010) | v2 (21-01-2010) | v3 (31-05-2010) | v4 (20-05-2011) |
|
|
|
|
| States and exceptions are dual effects |
|
|
| Jean-Guillaume Dumas 1Dominique Duval 1 |
|
|
| (11/01/2010) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire Jean Kuntzmann (LJK) |
|
|
|
CNRS : UMR5224 – Université Joseph Fourier - Grenoble I – Université Pierre-Mendès-France - Grenoble II – Institut Polytechnique de Grenoble - Grenoble Institute of Technology |
|
|
| 2 : | Reynaud Consulting (RC) |
|
|
|
Reynaud Consulting |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Logique en informatique Mathématiques/Catégories et ensembles |
|
|
| Liste des fichiers attachés à ce document : | ||||||||||
|
||||||||||
|
|
|
| hal-00445873, version 2 | |
| http://hal.archives-ouvertes.fr/hal-00445873 | |
| oai:hal.archives-ouvertes.fr:hal-00445873 | |
| Contributeur : Dominique Duval | |
| Soumis le : Jeudi 21 Janvier 2010, 11:29:11 | |
| Dernière modification le : Jeudi 21 Janvier 2010, 14:38:17 | |
