IMDEA Software

Iniciativa IMDEA

Inicio > Eventos > Software Seminar Series > 2011 > Applicative Shortcut Fusion
Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

Germán Delbianco

martes 3 de mayo de 2011

11:00am Meeting room 302 (Mountain View), level 3

Germán Delbianco, Research Intern, IMDEA Software Institute

Applicative Shortcut Fusion

Abstract:

In functional programming one usually writes programs as the composition of simpler functions. Consequently, the result of a function might be generated only to be consumed immediately by another function. This potential source of inefficiency can often be eliminated using a technique called shortcut fusion, which fuses both functions involved in a composition to yield a monolithic one. In this article we look at shortcut fusion for applicative computations. Applicative functors provide a model of computational effects which generalise monads, but they favour an applicative programming style. To the best of our knowledge, this is the first time shortcut fusion is analysed in an applicative setting.