Fri Jan 24 07:41:28 EST 2020

What is human and what is machine?

So what do I do with these insights?

First conclusion is that it might be good to create a datapath generator.

Another conclusion I had before is that unrolling is the easy part.
Condensing onto a programmable datapath is more difficult as it _adds_

So human inginuity should be used to create a representation as a
"maximally compacted" sequential program.  Then an optimizer could be
used to unroll.

This brings us back to Forth.  I don't know of a better sequential
program encoder, as long as stack shuffling is avoided, but it seems
that adding registers in an ad-hoc way will solve that.