Zipper-Based Modular and Deforested Computations

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

Autores

Martins, P (Autor) Outra; Joao Paulo Fernandes (Autor) Outra; Saraiva, J (Autor) Outra

Ata de Conferência Internacional

Título: Central European Functional Programming School, CEFP 2013

Páginas: 407-427

5th Central European Functional Programming School (CEFP)

Babes-Bolyai University, Faculty of Mathematics and Informatics, Cluj-Napoca, ROMANIA, JUL 08-20, 2013

Indexação

ISI Web of Knowledge - 0 Citações

Scopus - 0 Citações

Outras Informações

ID Authenticus: P-00A-AD3

DOI: 10.1007/978-3-319-15940-9-10

Abstract (EN): In this paper we present a methodology to implement multiple traversal algorithms in a functional programming setting. The implementations we obtain s of highly modular and intermediate structure free programs, that rely on the concept of functional zippers to navigate on data structures. Even though our methodology is developed and presented under Haskell, a lazy functional language, we do not make essential use of laziness. This is an essential difference with respect to other attribute grammar embeddings. This also means that an approach similar to ours can be followed in a strict functional setting such as Ocaml, for example. In the paper, our technique is applied to a significant number of problems that are well-known to the functional programming community, demonstrating its practical interest.

Idioma: Inglês

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

Nº de páginas: 21