Entangled State Monads
We present a monadic treatment of symmetric state-based bidirectional transformations, and show how it arises naturally from the well-known asymmetric lens-based account. We introduce two presentations of a concept we dub the \"entangled\" state monad, and prove their equivalence. As a ste...
| Huvudupphovsmän: | , , , , |
|---|---|
| Materialtyp: | Conference item |
| Publicerad: |
2014
|
| _version_ | 1826289762101624832 |
|---|---|
| author | Cheney, J McKinna, J Stevens, P Gibbons, J Abou−Saleh, F |
| author_facet | Cheney, J McKinna, J Stevens, P Gibbons, J Abou−Saleh, F |
| author_sort | Cheney, J |
| collection | OXFORD |
| description | We present a monadic treatment of symmetric state-based bidirectional transformations, and show how it arises naturally from the well-known asymmetric lens-based account. We introduce two presentations of a concept we dub the \"entangled\" state monad, and prove their equivalence. As a step towards a unifying account of bidirectionality in general, we exhibit existing classes of state-based approaches from the literature as instances of our new constructions. This extended abstract reports on work in progress. |
| first_indexed | 2024-03-07T02:33:49Z |
| format | Conference item |
| id | oxford-uuid:a81faf61-eae9-400d-a3f7-9eb77a436ec8 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T02:33:49Z |
| publishDate | 2014 |
| record_format | dspace |
| spelling | oxford-uuid:a81faf61-eae9-400d-a3f7-9eb77a436ec82022-03-27T02:59:18ZEntangled State MonadsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:a81faf61-eae9-400d-a3f7-9eb77a436ec8Department of Computer Science2014Cheney, JMcKinna, JStevens, PGibbons, JAbou−Saleh, FWe present a monadic treatment of symmetric state-based bidirectional transformations, and show how it arises naturally from the well-known asymmetric lens-based account. We introduce two presentations of a concept we dub the \"entangled\" state monad, and prove their equivalence. As a step towards a unifying account of bidirectionality in general, we exhibit existing classes of state-based approaches from the literature as instances of our new constructions. This extended abstract reports on work in progress. |
| spellingShingle | Cheney, J McKinna, J Stevens, P Gibbons, J Abou−Saleh, F Entangled State Monads |
| title | Entangled State Monads |
| title_full | Entangled State Monads |
| title_fullStr | Entangled State Monads |
| title_full_unstemmed | Entangled State Monads |
| title_short | Entangled State Monads |
| title_sort | entangled state monads |
| work_keys_str_mv | AT cheneyj entangledstatemonads AT mckinnaj entangledstatemonads AT stevensp entangledstatemonads AT gibbonsj entangledstatemonads AT abousalehf entangledstatemonads |