Monads: A Simple Illustration

Figures 1 MONADS: A SIMPLE ILLUSTRATION C F E B A D G A: type constructor B: monoid category C: bind operator D: unit identity converter E: type combinator F: lambda type G: pro functor

A black-and-white technical diagram presents monads as a landscape with labeled figures, a tree, a path, and abstract functional-programming terms. The joke is that monads, famously difficult for programmers to explain, are presented as an absurdly elaborate “simple illustration,” turning dense category-theory terminology into a mock visual map. EN: A black-and-white technical diagram presents monads as a landscape with labeled figures, a tree, a path, and abstract functional-programming terms. The joke is that monads, famously difficult for programmers to explain, are presented as an absurdly elaborate “simple illustration,” turning dense category-theory terminology into a mock visual map.

• @profunctor_io / 2968 2019-09-05