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

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 November 15, 2021 at 09:27:42.
See the history of this page for a list of all contributions to it.