News for hackers. Stuff that matters.

A comment on The Lazy Monad. Parent comment

Re:The Lazy Monad by goto11 on Wednesday June 08, 2022 @02:27AM (#31664005)
Operations on a list (like map, filter) are not effectful computations.

The problem with many monad explanations is they explain only particular monads. IO and State can be thought of as effectful computations, but List operations cannot.

Monads are just a pattern for composing computations, it doesn't say anything about the semantics of those computations.

[ Parent | on HN ]
Re:The Lazy Monad by chombier on Wednesday June 08, 2022 @02:49AM (#31664153)
> but List operations cannot.

They can, the effect modeled by the list monad is non-determinism.

[ Parent | on HN ]