4 ms·
This is like monads, is better to not look at the definition and just get examples. I like the way is presented here: https://mikeinnes.io/posts/transducers/ h
by mamcx 3y ago
This is like monads, is better to not look at the definition and just get examples.
I like the way is presented here: https://mikeinnes.io/posts/transducers/ https://mikeinnes.io/posts/transducers/
The main gist is that "effect" allows you to define your own "except" of "try/except/finally"
- mrkeen 3y agoI make use of monads as effects, and that's why I'm not getting this article. I wrote "Feels like comparing Lists with functions" for a more general audience, but in my mind I was thinking: - Effects are Monads - Continuations are one particular Monad [1] - Coroutines are probably similar? - I would use monadic effects to allow/disallow a function from making use of Coroutines. - If my effect system *itself* uses Coroutines how do I use the effect system to forbid Coroutines? [1] https://hackage.haskell.org/package/mtl-2.3.1/docs/Control-Monad-Cont.html https://hackage.haskell.org/package/mtl-2.3.1/docs/Control-M...