this post was submitted on 27 Mar 2025

481 points (95.1% liked)

Programmer Humor

22809 readers

1360 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

Keep content in english
No advertisements
Posts must be related to programming or programmer topics

founded 2 years ago

MODERATORS

481

stop (sh.itjust.works)

submitted 1 month ago by [email protected] to c/programmer_humor

53 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[–] [email protected] 1 points 1 month 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?