Continuation sets and order-independency

[David Kastrup]

Hi,

I was just wondering about the ability for using multiple continuations
in contexts that don't guarantee an order of execution.  Functions like
map, list and other structure builders.

If one uses those for building a structure, and some paths of execution
hit a call-with-current-continuation, is it feasible to have Guile
refrain from actually taking the continuation before all other paths of
execution have finished or reached a call-with-current-continuation as
well?

Meaning that if one takes the whole set of continuations as a template
for creating a data structure from values that are not known at the time
of building the template, that one can fill in the whole set with actual
values/actions/calculations, and have only the actions depending on
those variables be redone.

Sort of like constant expression folding (some sort of quasi-quoting
superset) on steroids.

-- 
David Kastrup