Thu Apr 13 14:00:56 EDT 2017
Rehash - things that sunk in
"expand AND contract" : this is about partial evaluation. There is
nothing special about doing this in point-free vs. local variables
form. It is just easier to express maybe?
This is an important point, because I always thought this was somehow
special. It is really just more convenient, right?
Well, it is somewhat special in that the assembly output is used to
Now, was this a good idea or not?
This puts me right at the heart of an old fight-or-flight scenario :)
So this is a two-pass system, which allows pseudo-instructions to be
used. How to decide which subsets are present in the several passes
to eventually end up with real instructions?