News for hackers. Stuff that matters.

A comment on Monads are too powerful: The Expressiveness Spectrum. Parent comment

Re:Monads are too powerful: The Expressiveness Spectrum by 1718627440 on Wednesday October 15, 2025 @07:54PM (#45599844)
Why does it sound so complicated when it is just a wrapper type that conforms to an interface?
[ Parent | on HN ]
Re:Monads are too powerful: The Expressiveness Spectrum by ww520 on Wednesday October 15, 2025 @10:50PM (#45600938)
It is what you described at high level. The devils are in the detail. People keep using words to describe the detail when code shows everything.
[ Parent | on HN ]
Re:Monads are too powerful: The Expressiveness Spectrum by yobbo on Thursday October 16, 2025 @12:04AM (#45601343)
It's a generalised typeclass for wrappers. It's not called "then" but "bind" and spelled (>>=), which doesn't exactly evoke useful associations for newcomers.
[ Parent | on HN ]
Re:Monads are too powerful: The Expressiveness Spectrum by immibis on Thursday October 16, 2025 @09:15AM (#45604948)
Because the interface has a few complicated rules associated with it. If you break them, the compiler may accept your code but it won't work with a lot of libraries that are supposed to work with any monad.
[ Parent | on HN ]