Functional Programming Hierarchy Meme

fmap aka map needs Functor ◇ bind aka flatMap needs Monad ◇ ap needs Apply ◇ traverse needs Traverse ◇ Applicative □

A minimalist diagram compares fmap, bind, ap, and traverse using blue and red dots inside geometric shapes. Each operation is shown as requiring a particular typeclass, with traverse requiring both Traverse and Applicative; the joke is a playful reference to functional programming abstractions and their confusing hierarchy. EN: A minimalist diagram compares fmap, bind, ap, and traverse using blue and red dots inside geometric shapes. Each operation is shown as requiring a particular typeclass, with traverse requiring both Traverse and Applicative; the joke is a playful reference to functional programming abstractions and their confusing hierarchy.

• @profunctor_io / 238 2017-07-05