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
tydeworkshop.org/2020-abstracts
> Klister’s macros are hygienic in that they prevent variable capture by default, and they are type-driven in that macros have access to the type that is expected for the expression that is to be produced
By , and Langston B.
1
1
8
Oh I forgot about this one! This work is super cool – also reminds me of some of the stuff being done in Lean 4 I think? But I think I've said that before 😳 A whole bunch of interesting work being done in type-directed metaprogramming at the moment, it's exciting!