this post was submitted on 27 Mar 2025
452 points (94.8% liked)

Programmer Humor

22133 readers
1897 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 2 years ago
MODERATORS
anzo@programming.dev
Feyter@programming.dev
BurningTurtle@programming.dev
pylapp@programming.dev
452
stop (sh.itjust.works)
submitted 5 days ago by kora@sh.itjust.works to c/programmer_humor@programming.dev
52 comments fedilink hide all child comments
 
you are viewing a single comment's thread
view the rest of the comments
[–] CanadaPlus@lemmy.sdf.org 1 points 5 days ago

That's a good run down of the "why". The thing is, there's way more things that are monads than things that have to be looked at as monads. AFAIK it only comes up directly when you're using something like IO or State where the monad functions are irreversible.

From the compiler end, are there optimisations that make use of the monadic structure of, say, a list?