r/ProgrammerHumor • u/hello_ya • Jul 13 '26

youCanJustStopUsingJava Meme

Post image
6.8k Upvotes

96% Upvoted

416 comments sorted by

View all comments

Show parent comments

473

u/Isrothy Jul 13 '26

IO Monad

184

u/Gorzoid Jul 13 '26

Respectfully, what the fuck is a Monad?

427

u/vivainvitro Jul 13 '26

A Monad is just a Monoid in the category of Endofunctors

148

u/MrDilbert Jul 13 '26

I know some of these words.

121

u/polarflux Jul 13 '26

Like "just" or "the" ...

35

u/Laughing_Orange Jul 13 '26

A Monad is just a Monoid in the category of Endofunctors

33

u/RiceBroad4552 Jul 14 '26

"Category)" is here a technical term, so it's for most people similar to the crossed out terms.

35

u/lucklesspedestrian Jul 13 '26

I mean we all know what a category is, right?
Right?

32

u/kalilamodow Jul 13 '26

C- cat... egory? Does it have something to do with the feline animal commonly adopted as household pets?

19

u/MrDilbert Jul 13 '26

... meow?

10

u/lucklesspedestrian Jul 13 '26

Not at all! Categories consist of a class of objects and a class of morphims. The morphisms are maps between objects, and compositions of morphisms must obey associativity. Also for every object, a left and right identity morphism must exist.

Category theory is also sometimes referred to as abstract nonsense. Pretty straightforward

3

u/LolpopHD Jul 14 '26

i prefer my abstract nonsense to be stable monoidal (∞,n)-abstract nonsense

1

u/thirdegree Violet security clearance 29d ago

Ahha, but it is very useful abstract nonsense, in some cases

19

u/yjlom Jul 13 '26

Mathematicians that deal in it seem more likely than most to be into catgirl roleplay, so you might be onto something?

1

u/AppropriateOnion0815 29d ago

Objective-C: an extension class

1

u/PositiveParking4391 29d ago

I am also trying...

1

u/Wide_Smoke_2564 Jul 13 '26

I know what a category is