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 statebased approaches from the literature as instances of our new constructions. This extended abstract reports on work in progress.
|Number of pages||4|
|Journal||CEUR Workshop Proceedings|
|Publication status||Published - 6 Mar 2014|
|Event||2014 Joint Workshops on International Conference on Extending Database Technology and International Conference on Database Theory - Athens, Greece|
Duration: 28 Mar 2014 → 28 Mar 2014
ASJC Scopus subject areas
- Computer Science(all)