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
@ElAthanator Functor: a -> b Contravariant: b -> a Exponential: (a -> b,b -> a) Applicative: f (a -> b) Monad: a -> f b Comonad: f a -> b
-
-
@dibblego Thank you :) Is the exponential an invertible function? -
@ElAthanator No. It's also called invariant functor.
End of conversation
New conversation -
-
-
@dibblego Don't forget the ubiquitous cofunctor https://hackage.haskell.org/package/acme-cofunctor … -
@jaspervdj That's contravariant, misnamed.
End of conversation
New conversation -
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.