Nice explanation of effects, looking forward to the post about effect handlers.
One nitpick: Algebraic effects are often introduced together with a type system, which is understandable given that much of the recent research has focused on typing effects using effect systems, but they are quite interesting on their own (and not such a new idea if you compare them to delimited continuations, but offer a much nicer syntax than continuations).
I haven’t seen much on how to program with effects in the wild, when to use them, when not to use them, how they change the architecture etc. For example, effects make it quite easy to use stateful effects, which can make your “purely functional” code quite imperative, with all the drawbacks that might come along with it. So, when are you drinking too much of the effects Kool-Aid?
Nice explanation of effects, looking forward to the post about effect handlers.
One nitpick: Algebraic effects are often introduced together with a type system, which is understandable given that much of the recent research has focused on typing effects using effect systems, but they are quite interesting on their own (and not such a new idea if you compare them to delimited continuations, but offer a much nicer syntax than continuations).
I haven’t seen much on how to program with effects in the wild, when to use them, when not to use them, how they change the architecture etc. For example, effects make it quite easy to use stateful effects, which can make your “purely functional” code quite imperative, with all the drawbacks that might come along with it. So, when are you drinking too much of the effects Kool-Aid?