CIFASIS   20631
CENTRO INTERNACIONAL FRANCO ARGENTINO DE CIENCIAS DE LA INFORMACION Y DE SISTEMAS
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
Modular Monad Transformers
Autor/es:
MAURO JASKELIOFF
Lugar:
York, Reino Unido
Reunión:
Conferencia; European Symposium of Programming; 2009
Resumen:
During the last two decades, monads
have become an indispensable tool for
structuring functional programs with
computational effects. In this setting, the
mathematical notion of a monad is extended with
operations that allow programmers to manipulate
these effects. When several effects are
involved, monad transformers can be used to
build up the required monad one effect at a
time. Although this seems to be modularity
nirvana, there is a catch: in addition to the
construction of a monad, the effect-manipulating
operations need to be lifted to the resulting
monad. The traditional approach for lifting
operations is non-modular and ad-hoc. We solve
this problem with a principled technique for
lifting operations that makes monad transformers
truly modular