A Clear Picture of Lens Laws - Functional Pearl

• Type: Article in International Conference Proceedings Book
• Date: 2015

Authors

Fischer, S (Author) Other; Hu, Z (Author) Other; Pacheco, H (Author) Other

Conference proceedings International

Title: Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings

Pages: 215-223

12th International Conference on Mathematics of Program Construction, MPC 2015

29 June 2015 through 1 July 2015

Indexing

Scopus - 14 Citations

Other information

Authenticus ID: P-00N-DHZ

DOI: 10.1007/978-3-319-19797-5_10

Abstract (EN): A lens is an optical device which refracts light. Properly adjusted, it can be used to project sharp images of objects onto a screen¿ a principle underlying photography as well as human vision. Striving for clarity, we shift our focus to lenses as abstractions for bidirectional programming. By means of standard mathematical terminology as well as intuitive properties of bidirectional programs, we observe different ways to characterize lenses and show exactly how their laws interact. Like proper adjustment of optical lenses is essential for taking clear pictures, proper organization of lens laws is essential for forming a clear picture of different lens classes. Incidentally, the process of understanding bidirectional lenses clearly is quite similar to the process of taking a good picture. By showing that it is exactly the backward computation which defines lenses of a certain standard class, we provide an unusual perspective, as contemporary research tends to focus on the forward computation. © Springer International Publishing Switzerland 2015

Language: English

Type (Professor's evaluation): Scientific