Re:Monads are too powerful: The Expressiveness Spectrum
by tasuki on Wednesday October 15, 2025 @07:15PM
(#45599484)
This is as good an explanation of monads as any. Which is to say, bad.
Re:Monads are too powerful: The Expressiveness Spectrum
by kelipso on Thursday October 16, 2025 @08:33AM
(#45604567)
So many people just turn their brain off when they read the GP post. Which I guess it’s fine, there are plenty of actual explanations, but it’s so widespread in the Haskell adjacent communities and annoying when programming is made into something mysterious like this.
Nan-in served tea. He poured his visitor’s cup full, and then kept on pouring.
The professor watched the overflow until he no longer could restrain himself. “It is overfull. No more will go in!”
“Like this cup,” Nan-in said, “you are full of your own opinions and speculations. How can I show you a Monad unless you first empty your cup?”