Every monad is a monoid in the category of endofunctors, it is literally the definition of monad. But what do you expect from clippy...
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
umbraroze@kbin.social to 
Every monad is a monoid in the category of endofunctors, it is literally the definition of monad. But what do you expect from clippy...
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