This is a thread about Racket, if you did not notice.
> Are you really arguing that implementing some other language is the way to go?
This is exactly what Lisps are about. You've got a nearly raw AST at the bottom (S-expressions) and then you build up a hierarchy of languages on top of it.
Did I talk about Racket anywhere?
> Does this look like S-expressions to you?
"MiniPacal implemented in Racket"
Are you really arguing that implementing some other language is the way to go?
https://github.com/eudoxia0/cmacro http://research.swtch.com/shmacro
Totally legit "C".