Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/38994
Título: | Generic point-free lenses |
Autor(es): | Pacheco, Hugo Cunha, Alcino |
Palavras-chave: | Point-free Bidirectional transformations Lenses Recursion patterns Inductive types |
Data: | 2010 |
Editora: | Springer Verlag |
Revista: | Lecture Notes in Computer Science |
Resumo(s): | Lenses are one the most popular approaches to define bidirectional transformations between data models. A bidirectional transformation with view-update, denoted a lens, encompasses the definition of a forward transformation projecting concrete models into abstract views, together with a backward transformation instructing how to translate an abstract view to an update over concrete models. In this paper we show that most of the standard point-free combinators can be lifted to lenses with suitable backward semantics, allowing us to use the point-free style to define powerful bidirectional transformations by composition. We also demonstrate how to define generic lenses over arbitrary inductive data types by lifting standard recursion patterns, like folds or unfolds. To exemplify the power of this approach, we “lensify” some standard functions over naturals and lists, which are tricky to define directly “by-hand” using explicit recursion. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/38994 |
ISBN: | 978-3-642-13320-6 |
DOI: | 10.1007/978-3-642-13321-3_19 |
ISSN: | 0302-9743 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: |