Reflections on monadic lenses

Faris Abou-Saleh; James Cheney; Jeremy Gibbons; James McKinna; Perdita Stevens

doi:10.1007/978-3-319-30936-1_1

Reflections on monadic lenses

Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

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.

Original language	English
Title of host publication	A List of Successes That Can Change the World
Subtitle of host publication	Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
Publisher	Springer
Number of pages	19
ISBN (Electronic)	978-3-319-30936-1
ISBN (Print)	978-3-319-30935-4
DOIs	https://doi.org/10.1007/978-3-319-30936-1_1
Publication status	Published - 25 Mar 2016

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer International Publishing
Volume	9600
ISSN (Print)	0302-9743

Access to Document

10.1007/978-3-319-30936-1_1

monadicLensAccepted author manuscript, 530 KB

http://link.springer.com/chapter/10.1007/978-3-319-30936-1_1

Cite this

@inproceedings{e5bd918f205449c397bd8d4122152097,

title = "Reflections on monadic lenses",

abstract = "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. ",

author = "Faris Abou-Saleh and James Cheney and Jeremy Gibbons and James McKinna and Perdita Stevens",

year = "2016",

month = mar,

day = "25",

doi = "10.1007/978-3-319-30936-1\_1",

language = "English",

isbn = "978-3-319-30935-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

booktitle = "A List of Successes That Can Change the World",

address = "United Kingdom",

}

TY - GEN

T1 - Reflections on monadic lenses

AU - Abou-Saleh, Faris

AU - Cheney, James

AU - Gibbons, Jeremy

AU - McKinna, James

AU - Stevens, Perdita

PY - 2016/3/25

Y1 - 2016/3/25

N2 - 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.

AB - 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.

UR - http://events.inf.ed.ac.uk/wf2016/

U2 - 10.1007/978-3-319-30936-1_1

DO - 10.1007/978-3-319-30936-1_1

M3 - Conference contribution

SN - 978-3-319-30935-4

T3 - Lecture Notes in Computer Science

BT - A List of Successes That Can Change the World

PB - Springer

ER -

Reflections on monadic lenses

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

A Theory of Least Change for Bidirectional Transformations

Cite this

Reflections on monadic lenses

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Projects

A Theory of Least Change for Bidirectional Transformations

Cite this