You can actually do a huge amount of metaprogramming in dependent type systems and still have the the power of static checking. We're still figuring out how to

You can actually do a huge amount of metaprogramming in dependent type systems and still have the the power of static checking. We're still figuring out how to improve the ergonomics to the level that it matches macros and other code-gen methods, but it's super exciting stuff.