Idly wondering if it'd be possible to extend Rust procedural macros with some sort of interface to the name resolver, typechecker, and const eval. Sort of a principled approach to template metaprogramming...
Conversation
Replying to
Yeah this is one of the things that has drawn me to things like dependent types, multistage programming, elaborator reflection, etc. Seems like a lot of it is all pretty related. Curious to see how much could be retrofitted onto Rust. 🤔