Unpopular opinion: The Rust community uses macros too much. I basically have a “no macro definitions” policy in all crates I maintain.
12
11
93
Conversation
Unpopular mitigation: everywhere someone would use a macro to abstract over syntax, it should be obviated by introducing or generalising language features to let them abstract over semantics instead (e.g. higher-kinded types, higher-rank polymorphism, first-class patterns…)
1
5
That’s how I ended up at dependent types! Still need to patch up some stuff with elaborator reflection though :/
1
2
We are still a ways off being able to truly do type theory in type theory, so you still need some level of support for automation - be it macro expasion or at elaboration time...