Hacker News Reader

> "a monad is a monoid in the category of endofunctors, what's the problem?"

Everywhere else he had to invent stuff to parody the language. He presents Haskell straight up.

As a Haskeller, I feel obliged to say that that is a parody. A self-parody, perhaps, but a parody nonetheless. In reality, the vast majority of Haskellers (including me!) wouldn’t have a clue what that sentence means — but we’re content to use monads nonetheless, because having a knowledge of the category theory underlying monads is unnecessary if you just want to use them in Haskell.

Yeah, in reality Haskellers are more like: A monad is just like a burrito, whats the problem?

Except that is explicitly a parody/critique of what Brent Yorgey called the "monad tutorial fallacy": https://byorgey.wordpress.com/2009/01/12/abstraction-intuiti...

This is the post that originally coined that phrase.

Yeah, in reality Haskellers are more like: A monad is just like a spacesuit, whats the problem?

Reply on news.ycombinator.com