Reflections on monadic lenses
Bidirectional transformations (bx) have primarily been modeled as pure functions, and do not account for the possibility of the side-effects that are available in most programming languages. Recently several formulations of bx that use monads to account for effects have been proposed, both among pra...
| Huvudupphovsmän: | , , , , |
|---|---|
| Materialtyp: | Conference item |
| Publicerad: |
Springer
2016
|
| _version_ | 1826291310185676800 |
|---|---|
| author | Abou-Saleh, F Cheney, J Gibbons, J McKinna, J Stevens, P |
| author_facet | Abou-Saleh, F Cheney, J Gibbons, J McKinna, J Stevens, P |
| author_sort | Abou-Saleh, F |
| collection | OXFORD |
| description | Bidirectional transformations (bx) have primarily been modeled as pure functions, and do not account for the possibility of the side-effects that are available in most programming languages. Recently several formulations of bx that use monads to account for effects have been proposed, both among practitioners and in academic research. The combination of bx with effects turns out to be surprisingly subtle, leading to problems with some of these proposals and increasing the complexity of others. This paper reviews the proposals for monadic lenses to date, and offers some improved definitions, paying particular attention to the obstacles to naively adding monadic effects to existing definitions of pure bx such as lenses and symmetric lenses, and the subtleties of equivalence of symmetric bidirectional transformations in the presence of effects. |
| first_indexed | 2024-03-07T02:57:31Z |
| format | Conference item |
| id | oxford-uuid:afd42f9e-93e7-4e78-bc33-e8d94a0c253f |
| institution | University of Oxford |
| last_indexed | 2024-03-07T02:57:31Z |
| publishDate | 2016 |
| publisher | Springer |
| record_format | dspace |
| spelling | oxford-uuid:afd42f9e-93e7-4e78-bc33-e8d94a0c253f2022-03-27T03:52:04ZReflections on monadic lensesConference itemhttp://purl.org/coar/resource_type/c_5794uuid:afd42f9e-93e7-4e78-bc33-e8d94a0c253fSymplectic Elements at OxfordSpringer2016Abou-Saleh, FCheney, JGibbons, JMcKinna, JStevens, PBidirectional transformations (bx) have primarily been modeled as pure functions, and do not account for the possibility of the side-effects that are available in most programming languages. Recently several formulations of bx that use monads to account for effects have been proposed, both among practitioners and in academic research. The combination of bx with effects turns out to be surprisingly subtle, leading to problems with some of these proposals and increasing the complexity of others. This paper reviews the proposals for monadic lenses to date, and offers some improved definitions, paying particular attention to the obstacles to naively adding monadic effects to existing definitions of pure bx such as lenses and symmetric lenses, and the subtleties of equivalence of symmetric bidirectional transformations in the presence of effects. |
| spellingShingle | Abou-Saleh, F Cheney, J Gibbons, J McKinna, J Stevens, P Reflections on monadic lenses |
| title | Reflections on monadic lenses |
| title_full | Reflections on monadic lenses |
| title_fullStr | Reflections on monadic lenses |
| title_full_unstemmed | Reflections on monadic lenses |
| title_short | Reflections on monadic lenses |
| title_sort | reflections on monadic lenses |
| work_keys_str_mv | AT abousalehf reflectionsonmonadiclenses AT cheneyj reflectionsonmonadiclenses AT gibbonsj reflectionsonmonadiclenses AT mckinnaj reflectionsonmonadiclenses AT stevensp reflectionsonmonadiclenses |