One angle (no static types) is racket, which knows multiple stages for its macros. Maybe the most developed actually working "new tradition". Researchers have

One angle (no static types) is racket, which knows multiple stages for its macros. Maybe the most developed actually working "new tradition". Researchers have also looked into multistage programming, which is enabled by representing code at runtime. Including how to represent it in type systems/logic. For Scala, there was a realization that both macros and multistage programming need a representation of programs. I am falling asleep so can't dig out references now, but it is exciting stuff and I think the last word has not been written on all this.