Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 14 / Issue 21

available in:   PDF (137 kB) PS (120 kB)
Similar Docs BibTeX   Write a comment
Links into Future


Shortcut Fusion of Monadic Programs

Cecilia Manzino (Universidad Nacional de Rosario, Argentina)

Alberto Pardo (Universidad de la Rep├║blica, Uruguay)

Abstract: Functional programs often combine separate parts of the program using intermediate data structures for communicating results. Programs so defined are easier to understand and maintain, but suffer from inefficiency problems due to the generation of those data structures. In response to this problematic, some program transformation techniques have been studied with the aim to eliminate the intermediate data structures that arise in function compositions. One of these techniques is known as shortcut fusion. This technique has usually been studied in the context of purely functional programs. In this work we propose an extension of shortcut fusion that is able to eliminate intermediate data structures generated in the presence of monadic effects. The extension to be presented can be uniformly defined for a wide class of data types and monads.

Keywords: computational effects, functional programming, monads, shortcut fusion

Categories: D.1, D.1.1, D.3.3, F.3.3