Are there any homoiconic "get the compiler to do exactly what you want, safely" languages?