Any language that allows compile-time metaprogramming (and not as restricted as TH) should allow to implement all the components I want. One example of such a system is the Nanopass framework [1], used alongside with cKanren [2].

Another example is my own system [3].

[1] https://github.com/akeep/nanopass-framework http://www.cs.indiana.edu/~dyb/pubs/nano-jfp.pdf

[2] http://scheme2011.ucombinator.org/papers/Alvis2011.pdf

[3] https://github.com/combinatorylogic/mbase

@sklogic, I have been looking for something like MBase. Is there something like a beginner's tutorial anywhere?

There is a bit outdated tutorial in https://github.com/combinatorylogic/mbase/tree/master/misc/d...

Also, CLike project was supposed to be a sort of a tutorial.

For a more thoroughly documented, production-ready language workbench you can also try Racket alongside with Nanopass framework.