Applicative programming with effects

by: Conor Mcbride, ROSS Paterson

Journal of Functional Programming, Vol. 18, No. 01. (2007), pp. 1-13.

View FullText article

ACM, Cambridge University Press, DOI

Reviews [Write a review of this article]

There are no reviews of this article

Find related articles from these CiteULike users

americovargas, fgeller, jpbernardy

Find related articles with these CiteULike tags

afp, functional_pearl, no-tag

Abstract

In this article, 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 article, introducing the applicative pattern by diverse examples, then abstracting it to define the Applicative type class and introducing a bracket notation that interprets the normal application syntax in the idiom of an Applicative functor. Furthermore, 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 Arrow.

@article{citeulike:2408154, abstract = {In this article, 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 article, introducing the applicative pattern by diverse examples, then abstracting it to define the Applicative type class and introducing a bracket notation that interprets the normal application syntax in the idiom of an Applicative functor. Furthermore, 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 Arrow.}, author = {Mcbride, Conor and Paterson, R. O. S. S. }, citeulike-article-id = {2408154}, doi = {http://dx.doi.org/10.1017/S0956796807006326}, journal = {Journal of Functional Programming}, number = {01}, pages = {1--13}, posted-at = {2008-06-16 11:49:51}, priority = {2}, title = {Applicative programming with effects}, url = {http://dx.doi.org/10.1017/S0956796807006326}, volume = {18}, year = {2007} }

RIS record

TY - JOUR ID - citeulike:2408154 L3 - citeulike-article-id:2408154 TI - Applicative programming with effects JF - Journal of Functional Programming VL - 18 IS - 01 SP - 1 EP - 13 N2 - In this article, 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 article, introducing the applicative pattern by diverse examples, then abstracting it to define the Applicative type class and introducing a bracket notation that interprets the normal application syntax in the idiom of an Applicative functor. Furthermore, 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 Arrow. AU - Mcbride, Conor AU - Paterson, ROSS PY - 2007//16/ UR - http://dx.doi.org/10.1017/S0956796807006326 ER -

RIS BibTeX