Fri Jan 24 09:34:18 EST 2020


Stick to that basic idea that unfolding is easier than folding.

Unfolding fort to ANF:

- creating an output register for each ALU operation
- treating the stack as individual (named) registers

From programming in Forth, stack shuffling can often be avoided by
- "channels", or read/write pointers
- the R stack for tucking away temporaries

I think it's still a bit out of reach until I find some intermediate
form.  Maybe first finish an actual stack processor?