this post was submitted on 27 Mar 2025

476 points (95.1% liked)

Programmer Humor

22222 readers

1601 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

476

stop (sh.itjust.works)

submitted 1 week 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 week 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?