Thu Aug 13 18:46:32 CEST 2009
I started with the basics of pf2.c : stack based alloc and free.
Maybe the important thing to realize is that it's not going to be
possible to be completely linear, due to references to code and global
storage. However, it might make sense to get to an almost-linear
regime, where GC is active during load and setup, and after that the
GC is switched off and only the linear language runs.
Anyway, let's just be carful to make sure pf data types are compatible
Alternatively: the code/variable space could be made inaccessible to
the language. If it is externally managed and accessed abstractly,
references into this memory _can_ be used.