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
257 points (97.1% liked)
Programmer Humor
19480 readers
203 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"
Haskell's got better type system tho
OCaml has an equally good type system without being pretentious about it
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!"