Wed May 8 11:26:16 EDT 2019
One of the central ideas in the previous section is to simplify by
abstracting away the context. This will require some support for
higher order functions in the representation, which will mostly be
just arrays defined at particular levels.
This will be simple nesting without context escapes, so there should
be no generic lambda+app that can take a context and "move" it
EDIT: But still, if the interface to this mechanism is still just
lambda, then the capturing and application need to somehow be
Maybe in first iteration, an explicit approach is better? I.e. an
environment is an explicit collection of arrays?