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.
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!"
8 Comments
baseless_discourse@mander.xyz · 44 pts · 2y
Every monad is a monoid in the category of endofunctors, it is literally the definition of monad. But what do you expect from clippy...
umbraroze@kbin.social · 24 pts · 2y
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.
synae@lemmy.sdf.org · 12 pts · 2y
Erlang fucks, haskell is the nerd in the corner at the party crying "they don't know about my mathematical purity"
pkill@programming.dev · 5 pts · 2y
Haskell's got better type system tho
1rre@discuss.tchncs.de · 5 pts · 2y
OCaml has an equally good type system without being pretentious about it
cabhan@discuss.tchncs.de · 25 pts · 2y
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!"
skyline@programming.dev · 3 pts · 2y
There is no way.
umbraroze@kbin.social · 15 pts · 2y
It's a thing! Sadly it won't rewrite Haskell codebases for you, though.