Skip to content
Rust Search
← Browse conferences

Reaching const evaluation singularity

View on FOSDEM ↗
FOSDEM

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 a

Recording not playing? Use the FOSDEM link above.

Other talks by Oliver Schneider

Taking constant evaluation to the limit

Rust Programming Language
RustConf 26:18 7606 views

RustConf 2019 - Taking Constant Evaluation to the Limit by Oliver Schneider Have you ever wanted to write a static with a complex initial value? Are you programming microcontrollers? Do you want to run as little code as possible at runtime or are you trying to reduce your memory footprint? If you answered yes to any of these questions, then you probably want to evaluate all-the-things™ at compile-time with a constant evaluator. This talk will focus on explaining the inner workings of the new theoretically unrestricted constant evaluator in rustc (nicknamed Miri for "MIR interpreter") and give a short outlook on the future features Miri will enable in the Rust language.