258
submitted 7 months ago by [email protected] to c/[email protected]
top 8 comments
sorted by: hot top controversial new old
[-] [email protected] 46 points 7 months ago

Every monad is a monoid in the category of endofunctors, it is literally the definition of monad. But what do you expect from clippy...

[-] [email protected] 25 points 7 months ago

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.

[-] [email protected] 12 points 7 months ago

Erlang fucks, haskell is the nerd in the corner at the party crying "they don't know about my mathematical purity"

[-] [email protected] 5 points 7 months ago

Haskell's got better type system tho

[-] [email protected] 5 points 7 months ago

OCaml has an equally good type system without being pretentious about it

[-] [email protected] 29 points 7 months ago

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!"

[-] [email protected] 3 points 7 months ago
[-] [email protected] 16 points 7 months ago

It's a thing! Sadly it won't rewrite Haskell codebases for you, though.

this post was submitted on 12 Dec 2023
258 points (97.4% liked)

Programmer Humor

18407 readers
538 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

founded 1 year ago
MODERATORS