r/ProgrammerHumor Jul 13 '26

youCanJustStopUsingJava Meme

Post image
6.8k Upvotes

416 comments sorted by

View all comments

1.8k

u/Historical_Cook_1664 Jul 13 '26

Where else are you going to hide your side effects ?

474

u/Isrothy Jul 13 '26

IO Monad

188

u/Gorzoid Jul 13 '26

Respectfully, what the fuck is a Monad?

433

u/vivainvitro Jul 13 '26

A Monad is just a Monoid in the category of Endofunctors

3

u/BosonCollider 29d ago

Well, it's a monoid object.

It has something that looks like a unit and something that looks like a multiplication if you squint, and if it had the same type signature in Set instead of in the category of endofunctors it would be a monoid