Tue Feb 19 12:15:57 CET 2013
Maybe it's time for a second interpretation to Scheme syntax using
named let with type annotation, and then compile this to C. It seems
that there is already too much complexity in the part that does SSA ->
C. I.e. loops should be somewhere else.
Instead of named let, it could also be a for/fold with accumulators,
and explicit indexing for the arrays.
Big question is that indexing: abstract, or numeric. Important for
much code is to work with indices explicitly, so let's keep it