> I want to say something about leaky abstractions and caution the reader that writing code that you then pass to something that generates some other code is a

> I want to say something about leaky abstractions and caution the reader that writing code that you then pass to something that generates some other code is a very very scary thing by and large. You are aware that programmers have been doing this in essence since Assembly Language was invented right? Programming directly in binary is just too much for our human minds to take. That said, you are much more correct than you realize. Even programming a "simple" or "direct" translation, like compiling from C to object code is rife with pitfalls... http://cm.bell-labs.com/who/ken/trust.html http://cm.bell-labs.com/who/ken/trust.html