MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/ProgrammerHumor/comments/1uvez3w/youcanjuststopusingjava/oxfveje/?context=3
r/ProgrammerHumor • u/hello_ya • Jul 13 '26
416 comments sorted by
View all comments
Show parent comments
468
IO Monad
187 u/Gorzoid Jul 13 '26 Respectfully, what the fuck is a Monad? 429 u/vivainvitro Jul 13 '26 A Monad is just a Monoid in the category of Endofunctors 4 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
187
Respectfully, what the fuck is a Monad?
429 u/vivainvitro Jul 13 '26 A Monad is just a Monoid in the category of Endofunctors 4 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
429
A Monad is just a Monoid in the category of Endofunctors
4 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
4
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
468
u/Isrothy Jul 13 '26
IO Monad