Heunen, Chris;
Kaarsgaard, Robin;
Karvonen, Martti;
(2018)
Reversible Effects as Inverse Arrows.
Electronic Notes in Theoretical Computer Science
, 341
pp. 179-199.
10.1016/j.entcs.2018.11.009.
Preview |
Text
Karvonen_1-s2.0-S1571066118300902-main.pdf Download (294kB) | Preview |
Abstract
Reversible computing models settings in which all processes can be reversed. Applications include low-power computing, quantum computing, and robotics. It is unclear how to represent side-effects in this setting, because conventional methods need not respect reversibility. We model reversible effects by adapting Hughes’ arrows to dagger arrows and inverse arrows. This captures several fundamental reversible effects, including serialization and mutable store computations. Whereas arrows are monoids in the category of profunctors, dagger arrows are involutive monoids in the category of profunctors, and inverse arrows satisfy certain additional properties. These semantics inform the design of functional reversible programs supporting side-effects.
| Type: | Article |
|---|---|
| Title: | Reversible Effects as Inverse Arrows |
| Location: | Nova Scotia, CANADA |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1016/j.entcs.2018.11.009 |
| Publisher version: | https://doi.org/10.1016/j.entcs.2018.11.009 |
| Language: | English |
| Additional information: | © 2018 The Author(s). Published by Elsevier B.V. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/). |
| Keywords: | Reversible Effect; Arrow; Inverse Category; Involutive Monoid |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10193413 |
Archive Staff Only
 |
View Item |
