continuations

Then, anywhere you have global continuations you can have delimited continuations with one global variable.

Indeed, macros have allowed Clojure to implement stackless continuations, and bytecode manipulation has allowed us to implement full continuations on the JVM without any JVM hacking.

One way to work around this is to use fibers and continuations which is what Quasar is doing.

While Java 9 sadly won't include native JVM fibers or continuations, it will probably make the instrumentation process 100% transparent.

On the other hand, restricting the set of continuations you have access to is completely identical to choosing a monad.

This is a brittle and expensive (esp if you don't have first-class continuations!) illusion.

The hard part for me was visualising the pattern for more complicated types like parsers (functions from strings to results) and continuations.

Related to this, effect systems are completely orthogonal to the question of continuations vs.

Think of async/await as syntactic sugar for doing the kind of asynchronous programming when you pass callbacks/continuations and have an explicit event loop.

I found the abstractions Seaside provides (continuations and components) to be much more powerful than what the other frameworks gave me.

It’s very much like implementing continuations by rewriting in continuation-passing style.

Doesn't Lua already have (one-shot) continuations, in the form of coroutines?

If you're using continuations to "abstract" away browser-server interaction, you pretty much don't get web programming, period.

Imperative languages "live" in continuations, and those are at least as expressive as monads.

A single Gambit instance is a single process - its "threading" is implemented using continuations - and so (unlike Erlang) it cannot automatically use a dual core.

I agree with your point exactly because (if James Burke's series "Connections" has taught me anything) all pieces of technology are continuations built upon previous technology.

Continuations let you save the current position, like setjump/longjump.