The only requirement to make macros work in a statically typed environment is to create a suitable type to represent the source code, and provide the operations

The only requirement to make macros work in a statically typed environment is to create a suitable type to represent the source code, and provide the operations to transform the said type. For instance, Rust has a macro system that's pretty nice to work with. https://danielkeep.github.io/tlborm/book/README.html https://danielkeep.github.io/tlborm/book/README.html