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

^*Corresponding author for this work

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

9 Citations (Scopus)

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
Editors	Sam Lindley, Conor McBride, Phil Trinder, Don Sannella
Publisher	Springer
Pages	1-31
Number of pages	31
ISBN (Electronic)	9783319309361
ISBN (Print)	9783319309354
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
Volume	9600
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

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

Cite this

Abou-Saleh, F., Cheney, J., Gibbons, J., McKinna, J., & Stevens, P. (2016). Reflections on monadic lenses. In S. Lindley, C. McBride, P. Trinder, & D. Sannella (Eds.), A List of Successes that can Change the World: Essays Dedicated to Philip Wadler on the Occasion of his 60th Birthday (pp. 1-31). (Lecture Notes in Computer Science; Vol. 9600). Springer. https://doi.org/10.1007/978-3-319-30936-1_1

@inbook{aebf0c7b316247e5809811affff396de,

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 = "9783319309354",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "1--31",

editor = "Sam Lindley and Conor McBride and Phil Trinder and Don Sannella",

booktitle = "A List of Successes that can Change the World",

}

Abou-Saleh, F, Cheney, J, Gibbons, J, McKinna, J & Stevens, P 2016, Reflections on monadic lenses. in S Lindley, C McBride, P Trinder & D Sannella (eds), A List of Successes that can Change the World: Essays Dedicated to Philip Wadler on the Occasion of his 60th Birthday. Lecture Notes in Computer Science, vol. 9600, Springer, pp. 1-31. https://doi.org/10.1007/978-3-319-30936-1_1

Reflections on monadic lenses. / Abou-Saleh, Faris; Cheney, James; Gibbons, Jeremy et al.
A List of Successes that can Change the World: Essays Dedicated to Philip Wadler on the Occasion of his 60th Birthday. ed. / Sam Lindley; Conor McBride; Phil Trinder; Don Sannella. Springer, 2016. p. 1-31 (Lecture Notes in Computer Science; Vol. 9600).

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

TY - CHAP

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://www.scopus.com/inward/record.url?scp=84973902366&partnerID=8YFLogxK

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

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

M3 - Chapter

AN - SCOPUS:84973902366

SN - 9783319309354

T3 - Lecture Notes in Computer Science

SP - 1

EP - 31

BT - A List of Successes that can Change the World

A2 - Lindley, Sam

A2 - McBride, Conor

A2 - Trinder, Phil

A2 - Sannella, Don

PB - Springer

ER -

Reflections on monadic lenses

Abstract

Publication series

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

James McKinna

Cite this

Reflections on monadic lenses

Abstract

Publication series

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Profiles

James McKinna

Cite this