nLab
applicative functor

Contents

Idea

In computer science, applicative functors (also known as idioms) are the programming equivalent of lax monoidal functors with a tensorial strength in category theory.

A monad gives rise to an applicative functor, but not all applicative functors result from monads. Unlike monads, applicative functors are closed under composition.

References

  • Conor Mcbride, Ross Paterson, Applicative programming with effects, Journal of Functional Programming. 18 (01): 1–13. (paper)

  • Ross Paterson, Constructing Applicative Functors, in Mathematics of Program Construction, Madrid, 2012, Lecture Notes in Computer Science vol. 7342, pp. 300-323, Springer, 2012. (paper)

Last revised on October 12, 2016 at 03:47:14. See the history of this page for a list of all contributions to it.