## November 22, 2014

### Barbie on Monads

#### Posted by Tom Leinster

Sadly, this is not real.

Posted at November 22, 2014 7:44 PM UTC
TrackBack URL for this Entry: https://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/2782

### Re: Barbie on Monads

that quote was lifted from A Brief, Incomplete, and Mostly Wrong History of Programming Languages written by James Iry in 2009.

*1990 - A committee formed by Simon Peyton-Jones, Paul Hudak, Philip Wadler, Ashton Kutcher, and People for the Ethical Treatment of Animals creates Haskell, a pure, non-strict, functional language. Haskell gets some resistance due to the complexity of using monads to control side effects. Wadler tries to appease critics by explaining that ***“a monad is a monoid in the category of endofunctors, what’s the problem?”**

### Re: Barbie on Monads

I want to see Univalent Foundations Barbie, fearlessly forging a new paths for mathematics and computer science alike.

## Re: Barbie on Monads

that quote was lifted from A Brief, Incomplete, and Mostly Wrong History of Programming Languages written by James Iry in 2009.

1990 - A committee formed by Simon Peyton-Jones, Paul Hudak, Philip Wadler, Ashton Kutcher, and People for the Ethical Treatment of Animals creates Haskell, a pure, non-strict, functional language. Haskell gets some resistance due to the complexity of using monads to control side effects. Wadler tries to appease critics by explaining that“a monad is a monoid in the category of endofunctors, what’s the problem?”