> I say this after researching and comparing detailed metaprogramming features across a dozen different languages.

I’m very interested in this. What was your research approach? Are there resources you can recommend beyond the documentation for individual languages?

Here's the paper I wrote: https://lambdaland.org/files/2024_ecoop_type_tailoring.pdf

Lots and lots of documentation, some experimentation, and asking people. :)