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?”