News for hackers. Stuff that matters.
Re:All you need is call/cc (2013) by the-smug-one on Thursday August 26, 2021 @11:00AM (#28315789)
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

There are no comments on this comment yet.