Mon Jan 4 00:26:44 CET 2010
To be correct, the compiler does not produce ANF, as it does not
bubble let expressions outward (see the three A-rules in figure 7. in
). However, the VM can interpret ANF form.
It is not completely clear to me how this then provides room for
particular optimization. At the end of the paper there is an example.
The current VM is a C_a E K machine, extended with set! and begin.