If you are willing to give up S-Expressions, you might try Nim [0]. Its compile time macro system allows this fancy stuff easily, even with access to the type

If you are willing to give up S-Expressions, you might try Nim [0]. Its compile time macro system allows this fancy stuff easily, even with access to the type system. [0] https://nim-lang.org https://nim-lang.org