Functional Programming

2 thoughts
last posted April 21, 2015, 5:46 a.m.

1 earlier thought

0

Applicative Functor

An Applicative Functor is a class which provides a pair of operations - one that lifts values into an instance of the functor, and one which lifts functions into mappings of the functor.

In a category theory sense the Applicative Functor is a functor from the language's objects and functions to the category of instances of the functor and mappings of that functor.

This is in addition to the interpretation of the Functor itself as a category theory style functor from classes (using the Functor's type constructor to translate the class) and functions (translating a function to a function that maps over instances of the functor).