[sklogic]

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

[lambda_ronin]

Excuse me, I want to discuss something with you. Please, write on my email [e-mail]