A Clear Picture of Lens Laws - Functional Pearl

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2015

Autores

Fischer, S (Autor) Outra; Hu, Z (Autor) Outra; Pacheco, H (Autor) Outra

Ata de Conferência Internacional

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

Páginas: 215-223

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

29 June 2015 through 1 July 2015

Indexação

Scopus - 14 Citações

Outras Informações

ID Authenticus: 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

Idioma: Inglês

Tipo (Avaliação Docente): Científica