3 ms·
Algebraic effect system = Statically typed delimited continuations, as your edit shows :-). It's dynamically scoped, which is the same as the lexical scope in
by the-smug-one 5y ago
Algebraic effect system = Statically typed delimited continuations, as your edit shows :-).
It's dynamically scoped, which is the same as the lexical scope in the untyped lambda calculus. But yes, that is really annoying.
Example from Racket REPL:
> (require racket/control)
> (define f (lambda () (shift k (k 5))))
> (reset (f))
5