Bidirectional Transformation is Effectful
Faris Abou−Saleh‚ James Cheney‚ Jeremy Gibbons‚ James McKinna and Perdita Stevens
Abstract
Bidirectional transformations inherently involve state effects. Modelling them that way allows the incorporation of other effects too, such as I/O, non-determinism, and exceptions.
Book Title
SNAPL: The Inaugural Summit on Advances in Programming Languages
Month
May
Note
This is an abstract of the paper "Notions of Bidirectional Computation and Entangled State Monads"‚ to appear at MPC 2015
Year
2015