Zipper-Based Modular and Deforested Computations

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

Authors

Martins, P (Author) Other; Joao Paulo Fernandes (Author) Other; Saraiva, J (Author) Other

Conference proceedings International

Title: Central European Functional Programming School, CEFP 2013

Pages: 407-427

5th Central European Functional Programming School (CEFP)

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

Indexing

ISI Web of Knowledge - 0 Citations

Scopus - 0 Citations

Other information

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

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 21