Sat Aug 14 09:14:32 CEST 2010


Relation between coroutines and one-shot (partial) continuations.

This comes up very naturally in the implementation of PF: the
continuation is a linear data structure that is transformed and
consumed at runtime, while non-linear code is "ROM", i.e. constant to
the linear core.

The PF compiler (meta-system) is non-linear for a good reason:
entirely ephemeral.  Code is linear to mesh better with hardware,
which is a finite resource.

[1] http://lambda-the-ultimate.org/node/2868
[2] http://lambda-the-ultimate.org/node/803
[3] http://lambda-the-ultimate.org/node/438#comment-3228
[4] http://lambda-the-ultimate.org/node/558