Functional programmers are strong enthusiasts of modular solutions to programming problems. Since software characteristics such as readability or maintainability are often directly proportional to modularity, this programming style naturally contributes to the beauty of functional programs. Unfortunately, in return of this beauty we often sacrifice efficiency: modular programs rely, at runtime, on the creation, use and elimination of intermediate data structures to connect its components. In this tutorial paper, we study an advanced technique that attempts to retain the best of this two worlds: (i) it allows programmers to implement beautiful, modular programs (ii) it shows how to transform such programs, in a way that can be incorporated in a compiler, into programs that do not construct any intermediate structure.
CITATION STYLE
Fernandes, J. P., Cunha, J., Saraiva, J., & Pardo, A. (2019). Watch out for that tree! A tutorial on shortcut deforestation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10094 LNCS, pp. 1–41). Springer Verlag. https://doi.org/10.1007/978-3-030-28346-9_1
Mendeley helps you to discover research relevant for your work.