Generic Point-free Lenses

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

Autores

Pacheco, H (Autor) Outra; Cunha, A (Autor) Outra

Ata de Conferência Internacional

Título: MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS

Páginas: 331-352

10th International Conference on Mathematics of Program Construction

Quebec City, CANADA, JUN 21-23, 2010

Indexação

ISI Web of Knowledge - 14 Citações

Scopus - 24 Citações

Outras Informações

ID Authenticus: P-003-BYJ

DOI: 10.1007/978-3-642-13321-3_19

Abstract (EN): 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.

Idioma: Inglês

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

Nº de páginas: 22