4 ms·
> "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
by Syzygies 5y ago
> "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.
- bradrn 5y agoAs 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.
- goto11 5y agoYeah, in reality Haskellers are more like: A monad is just like a burrito, whats the problem?
- the_benno 5y agoExcept that is explicitly a parody/critique of what Brent Yorgey called the "monad tutorial fallacy": https://byorgey.wordpress.com/2009/01/12/abstraction-intuition-and-the-monad-tutorial-fallacy/ https://byorgey.wordpress.com/2009/01/12/abstraction-intuiti... This is the post that originally coined that phrase.
- goto11 5y agoYeah, in reality Haskellers are more like: A monad is just like a spacesuit, whats the problem?