Bartosz’s category-theoretic post on applicative functors
Unlike monads, which came into programming straight from category theory, applicative functors have their origins in programming. McBride and Paterson introduced applicative functors as a programmi…