Applicative programming with effects
Cached
Download Links
- [strictlypositive.org]
- [www.cs.nott.ac.uk]
- [www.strictlypositive.org]
- [personal.cis.strath.ac.uk]
- [www.soi.city.ac.uk]
- DBLP
Other Repositories/Bibliography
| Venue: | Journal of Functional Programming |
| Citations: | 112 - 4 self |
BibTeX
@ARTICLE{Mcbride_applicativeprogramming,
author = {Conor Mcbride and Ross Paterson},
title = {Applicative programming with effects},
journal = {Journal of Functional Programming},
year = {},
volume = {18},
pages = {2007}
}
Share
 |
 |
 |
 |
||
OpenURL
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 the idiom of an Applicative functor. Further, we develop the properties of applicative functors and the generic operations they support. We close by identifying the categorical structure of applicative functors and examining their relationship both with Monads and with Arrows. 1
Keyphrases
applicative functors applicative programming normal application syntax abstract characterisation applicative style programming pattern effectful programming diverse example applicative pattern applicative functor bracket notation applicative type class generic operation categorical structure
