Mon Oct 15 11:25:10 CEST 2018

Imperative vs. functional

I'm starting to think that the deeper problem in my reasoning is
holding on to "functional" way of thinking.  An imperative language
might actually be more appropriate for this kind of work: single (or
no) assignment, or even repeated assignment (though that feels like a

Is this just beginner misunderstanding, or am I just not indoctrinated
enough by the standard way?  If that is ub-optimal, I have an
opportunity to think differently.

What am I missing?

One way to look at the missing link is partial evauation of a CPU +
program into a state machine.

There is some element of the construction there that I do not
understand.  Is it just partial evaluation of the decoder + ALU?