Every monad is a monoid in the category of endofunctors, it is literally the definition of monad. But what do you expect from clippy...
this post was submitted on 12 Dec 2023
1 points (66.7% liked)
Programmer Humor
19187 readers
1120 users here now
Welcome to Programmer Humor!
This is a place where you can post jokes, memes, humor, etc. related to programming!
For sharing awful code theres also Programming Horror.
Rules
- Keep content in english
- No advertisements
- Posts must be related to programming or programmer topics
founded 1 year ago
MODERATORS
Yeah, the thing is, "a monad is a monoid in the category of endofunctors" is kind of a meme among non-Haskell developers. Personally, I think Haskell is a very interesting language. The mathematical jargon, however, is impenetrable, and this particular expression is kind of the poster child. I'mma go look at Erlang if I want my functional language fix without making my head hurt, thank ye very much.
Erlang fucks, haskell is the nerd in the corner at the party crying "they don't know about my mathematical purity"
I wish this was exaggerated, but it isn't at all. Every time I try to learn Haskell, I end up in some tutorial: "You know how you sometimes need to represent eigenvectors in an n-dimensional plane with isotonically theoretical pulsarfunctions? Haskell types make that easy!"