Oxidize Lightning Talks – Drew Ridley
summary
Macroscope implements compile-time reflection in stable Rust by hijacking a proc macro to reinvoke rustc and query the compiler type cache. It claims extra safety guarantees on top of Rust’s memory model and demonstrates a working prototype ORM for Surreal DB that inspects query parameters and emits compile-time type errors, removing whole classes of bugs. Prototype is experimental and not recommended for production but proves the approach is feasible.
AI-written summary · about
related talks
29mMacromancy: an introduction to Rust macros
09mLightning Talk: MORK (in Rust)
05mLightning Talk: Rust Without ‘Unsafe’ Is as Unsafe as C++
40mRust’s approach of getting things right
46mKeynote: Rust is not about memory safety
01h 05mKeynote - Rust: confident, productive systems programming
25m"Eternal Sunshine of the Rustfmt'ed Mind"
42mRewrite It In Rust: Can We RIIR Everything?