FUNCTIONAL PEARL Applicative programming with effects
Short Description
Under consideration for publication in J. Functional Programming …. This canonical form captures the essence of Applicative programming: computa- …
Website: www.soi.city.ac.uk | Filesize: 197kb
Content
Under consideration for publication in J. Functional Programming 1
FUNCTIONAL PEARL
Applicative programming with effects
CONOR MCBRIDE
University of Nottingham
ROSS PATERSON
City University, London
Abstract
In this paper, we introduce Applicative functors-an abstract characterisation of an applicative
style of effectful programming, weaker than Monads and hence more widespread.
Indeed, it is the ubiquity of this programming pattern that drew us to the abstraction.
We retrace our steps in this paper, introducing the applicative pattern by diverse examples,
then abstracting it to define the Applicative type class and introducing a bracket
notation which interprets the normal application syntax in…
Get the file Download here
Related Books:Related Searches: city university london, functional pearl, ross paterson, university of nottingham, canonical form
Comments
Leave a Reply