What is your definition of "effects"? I ask because this article[0] and many others[1] seem[2] to use a contradictory definition, in which failure, nondeterminism, state etc. are viewed as effects and monads are a means of implementing those effects.
> Monads are not "about effects".
What is your definition of "effects"? I ask because this article[0] and many others[1] seem[2] to use a contradictory definition, in which failure, nondeterminism, state etc. are viewed as effects and monads are a means of implementing those effects.
------
[0]: http://www.sciencedirect.com/science/article/pii/S2352220814...
[1]: http://scholar.google.com/scholar?q=algebraic+effects+monad&...
[2]: as far as I understand them; I may be wrong.