This is almost second-nature in Lisp: http://c2.com/cgi/wiki?StructureAndInterpretationOfComputerPrograms http://c2.com/cgi/wiki?StructureAndInterpretationOfCo

This is almost second-nature in Lisp: http://c2.com/cgi/wiki?StructureAndInterpretationOfComputerPrograms http://c2.com/cgi/wiki?StructureAndInterpretationOfComputerP... And tends to happen to other languages... you just have to bootstrap the first compiler.