Iconic Trio of Haskell Typeclasses

Name a more iconic trio... I'll wait class Functor f where fmap :: (a -> b) -> f a -> f b class (Functor f) => Applicative f where pure :: a -> f a (<*>) :: f (a -> b) -> f a -> f b class Applicative m => Monad m where return :: a -> m a (>>=) :: m a -> (a -> m b) -> m b

Kim Kardashian, Kylie Jenner, and Khloé Kardashian pose together above Haskell code defining the Functor, Applicative, and Monad typeclasses. The joke calls this famous Kardashian trio “iconic” and humorously compares them to an iconic trio in functional programming, celebrating the relationship between these abstractions. EN: Kim Kardashian, Kylie Jenner, and Khloé Kardashian pose together above Haskell code defining the Functor, Applicative, and Monad typeclasses. The joke calls this famous Kardashian trio “iconic” and humorously compares them to an iconic trio in functional programming, celebrating the relationship between these abstractions.

• @profunctor_io / 5640 2020-10-21