Thu Aug 23 10:32:53 EDT 2018
Processor as a macro
So back to the main question: is there an intermediate between
creating a program on a processor, and a raw state machine.
I.e. I want an imperative / stack language that generates a state
Say start without a stack: just use loop counters.
Every instruction word is a state, with a next state equation.
This should be automatic. These are all just functions! What about
decoupling it as a type class, and providing two different
There are a couple of trade-offs: loop counters with inidividual
adders, or a stack or ALU-like structure. It seems that only the
instruction memory can be eliminated this way. The other logic will
remain the same. Also obvious in retrospect.