Hacker News new | ask | show | jobs
by andybak 3191 days ago
"A monad is just a monoid in the category of endofunctors, what's the problem?"
1 comments

Wait. Is this true? If so, that's cool. I know your comment was sarcastic, but as a grad student in math I've futzed with category theory enough that those words mean more to me than the raw Kleisli triple definition.
Yeah, it's absolutely right. And I think exploring that definition is actually the best way to learn what exactly a monad is.