If Functor gives _map_ `(a -> b) -> F a -> F b`, then Applicative Functor gives us _functorial map_ `F (a -> b) -> F a -> F b`. #haskell
-
-
Replying to @athan__
@ElAthanator Functor: a -> b Contravariant: b -> a Exponential: (a -> b,b -> a) Applicative: f (a -> b) Monad: a -> f b Comonad: f a -> b
2 replies 32 retweets 68 likes -
Replying to @dibblego
@dibblego Don't forget the ubiquitous cofunctor https://hackage.haskell.org/package/acme-cofunctor …2 replies 0 retweets 2 likes
Replying to @jaspervdj
@jaspervdj That's contravariant, misnamed.
11:41 AM - 30 Nov 2014
0 replies
0 retweets
0 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.