|
|
|
|
|
|
by goto11
1468 days ago
|
|
|
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. |
|
|
They can, the effect modeled by the list monad is non-determinism.