Watch out for that tree! A tutorial on shortcut deforestation

João Paulo Fernandes; Jácome Cunha; João Saraiva; Alberto Pardo

doi:10.1007/978-3-030-28346-9_1

Watch out for that tree! A tutorial on shortcut deforestation

João Paulo Fernandes, Jácome Cunha, João Saraiva, Alberto Pardo

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

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.

Original language	English (US)
Title of host publication	Central European Functional Programming School - 6th Summer School, CEFP 2015, Revised Selected Papers
Editors	Viktória Zsók, Zoltán Porkoláb, Zoltán Horváth
Publisher	Springer Verlag
Pages	1-41
Number of pages	41
ISBN (Print)	9783030283452
DOIs	https://doi.org/10.1007/978-3-030-28346-9_1
State	Published - 2019
Event	6th Central European Functional Programming School, CEFP 2015 - Budapest, Hungary Duration: Jul 6 2015 → Jul 10 2015

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	10094 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	6th Central European Functional Programming School, CEFP 2015
Country/Territory	Hungary
City	Budapest
Period	7/6/15 → 7/10/15

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-030-28346-9_1

Cite this

Fernandes, J. P., Cunha, J., Saraiva, J., & Pardo, A. (2019). Watch out for that tree! A tutorial on shortcut deforestation. In V. Zsók, Z. Porkoláb, & Z. Horváth (Eds.), Central European Functional Programming School - 6th Summer School, CEFP 2015, Revised Selected Papers (pp. 1-41). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10094 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-030-28346-9_1

Watch out for that tree! A tutorial on shortcut deforestation. / Fernandes, João Paulo; Cunha, Jácome; Saraiva, João et al.
Central European Functional Programming School - 6th Summer School, CEFP 2015, Revised Selected Papers. ed. / Viktória Zsók; Zoltán Porkoláb; Zoltán Horváth. Springer Verlag, 2019. p. 1-41 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10094 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Fernandes, JP, Cunha, J, Saraiva, J & Pardo, A 2019, Watch out for that tree! A tutorial on shortcut deforestation. in V Zsók, Z Porkoláb & Z Horváth (eds), Central European Functional Programming School - 6th Summer School, CEFP 2015, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10094 LNCS, Springer Verlag, pp. 1-41, 6th Central European Functional Programming School, CEFP 2015, Budapest, Hungary, 7/6/15. https://doi.org/10.1007/978-3-030-28346-9_1

Fernandes JP, Cunha J, Saraiva J, Pardo A. Watch out for that tree! A tutorial on shortcut deforestation. In Zsók V, Porkoláb Z, Horváth Z, editors, Central European Functional Programming School - 6th Summer School, CEFP 2015, Revised Selected Papers. Springer Verlag. 2019. p. 1-41. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-28346-9_1

Fernandes, João Paulo ; Cunha, Jácome ; Saraiva, João et al. / Watch out for that tree! A tutorial on shortcut deforestation. Central European Functional Programming School - 6th Summer School, CEFP 2015, Revised Selected Papers. editor / Viktória Zsók ; Zoltán Porkoláb ; Zoltán Horváth. Springer Verlag, 2019. pp. 1-41 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{d41bab0c9d1242d5b3bb7749603afaed,

title = "Watch out for that tree! A tutorial on shortcut deforestation",

abstract = "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.",

author = "Fernandes, {Jo{\~a}o Paulo} and J{\'a}come Cunha and Jo{\~a}o Saraiva and Alberto Pardo",

note = "Publisher Copyright: {\textcopyright} 2019, Springer Nature Switzerland AG.; 6th Central European Functional Programming School, CEFP 2015 ; Conference date: 06-07-2015 Through 10-07-2015",

year = "2019",

doi = "10.1007/978-3-030-28346-9_1",

language = "English (US)",

isbn = "9783030283452",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "1--41",

editor = "Vikt{\'o}ria Zs{\'o}k and Zolt{\'a}n Porkol{\'a}b and Zolt{\'a}n Horv{\'a}th",

booktitle = "Central European Functional Programming School - 6th Summer School, CEFP 2015, Revised Selected Papers",

}

TY - GEN

T1 - Watch out for that tree! A tutorial on shortcut deforestation

AU - Fernandes, João Paulo

AU - Cunha, Jácome

AU - Saraiva, João

AU - Pardo, Alberto

PY - 2019

Y1 - 2019

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85071503386&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85071503386&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-28346-9_1

DO - 10.1007/978-3-030-28346-9_1

M3 - Conference contribution

AN - SCOPUS:85071503386

SN - 9783030283452

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 1

EP - 41

BT - Central European Functional Programming School - 6th Summer School, CEFP 2015, Revised Selected Papers

A2 - Zsók, Viktória

A2 - Porkoláb, Zoltán

A2 - Horváth, Zoltán

PB - Springer Verlag

T2 - 6th Central European Functional Programming School, CEFP 2015

Y2 - 6 July 2015 through 10 July 2015

ER -

Watch out for that tree! A tutorial on shortcut deforestation

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this