What statically typed languages have the most advanced metaprogramming features? Staging or typed splices would be interesting, but I'm sure there's plently of features I haven't heard of.
(Experimental/research langs are fine if I can build the compiler myself to try it out)
12
4
21
