Reaching const evaluation singularity
An introduction into miri and Rust's const evaluation
- Track: Rust devroom
- Room: H.2214
- Day: Sunday
- Start: 15:30
- End: 15:55
The Rust interpreter miri
has been merged into rustc to be its new const evaluator. This merge not only fixed various bugs in the old const evaluator, it opened up the avenue for many new features. Ever wanted to do a for
loop in a constant? Want to parse a toml
file into a static Config
struct and report parsing errors as compile-time errors? Well, now you can do all that (pending RFCs for the details). In this talk I will present miri's design, its usage in the compile-time evaluator as well as future features that are enabled by it
Speakers
Oliver Schneider |