284
Monads
(lemmy.world)
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
this post was submitted on 11 Oct 2025
284 points (96.1% liked)
Programmer Humor
26898 readers
869 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
http://blog.sigfpe.com/2006/08/you-could-have-invented-monads-and.html
It's a "programmable semicolon" or "decorated-function composition". I think most people that are confused about it, are trying to make it be more meaningful than it is. Haskell (?) just grabbed a math name so they'd have one word for it, because it's a useful class name there.
"programmable semicolons" is wrong, you can have that without Monads, and in fact Haskell has a do-notation for Applicative. "decorated function composition" is a bit vague, I think I see what you mean but it's not too helpful.
It's just an interface for a generic type that requires two specific functions to be implemented. Understanding why it is so useful is the tricky part.