Take a look at some of the languages with quasiquotation-based metaprogramming: Template Haskell, Converge, Nemerle.

I did quite a bit of exploration in this area too, here is one of the examples: https://github.com/combinatorylogic/clike