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?