Wed Aug 26 11:55:02 CEST 2009
The pf.ml machine viewed as a non-linear machine can have a `sub' for
continuation. To do this linearly one needs:
1. a way to wrap up a a linear datum as something runnable
2. allow for the composition of runnable things.
It turns out that `compose' is a much better base to build on than
partial application, which is a special case of run-time data -> code
conversion and runtime code composition.
In the current form it needs an extra wrapper for nonlinear -> linear
data, but after that, `compose' is just list concatenation where the
CONS cells are continuation frames of `dip' and code sequencing.