3 ms·
> In a typical PL context "effects" is always short for algebraic effects The word "effects" has a long and storied history in programming language theory that
by curryhoward 7y ago
> In a typical PL context "effects" is always short for algebraic effects
The word "effects" has a long and storied history in programming language theory that predates algebraic effects/handlers by decades. The study of effect systems includes algebraic effects but also monads and other type and effect systems. In some situations the lines between these are blurred, for example with "extensible effects" which are algebraic effects implemented by a free(r) monad combined with "data types a la carte"-style open unions.