[racket] Survey of Syntax and Hygienic Macro Systems?

John Clements wrote:
> Student: wouldn't it be cool if you could specify source-to-source translations for languages like c++ by defining the operations at the AST level, after they're parsed?
> 
> Me: AST level <=> s-expressions. Everyone who tries this eventually decides that it's easier to simply write their programs in the AST language (a.k.a. s-expressions). 

Don't tools like Template Haskell and Camlp4/5 contradict this?

Anton