Sat May 18 09:59:39 EDT 2019
Fix the representation of definition and use
The point is to create a model of the dynamic execution of the
combination of sequencing (re-using) and looping (construction). At
any point in the dynamic evolution, it should be 100% clear how the
access patterns work.
Summarized: array construction should be self-referential.
Note that this does not allow for mutation. The model remains purely
functional. So in a strong sense there is a limit. Maybe this can be
extended later on. For now, let's stick to this idea because it
allows mapping to functional languages. Also it keeps the writable
and readable sections separate, which might be useful later on.