Мири (сокращение от MIR I nterpreter) является де-факто интерпретатором кода Rust.Это то, что обеспечивает оценку функции времени компиляции внутри rustc, компилятора Rust, но Miri более функциональна, чем то, что в настоящее время используется компилятором.
Для экспериментов Miri также доступна на площадке Rust.Его можно использовать для оценки конкретного запуска программы, обнаруживая, существуют ли определенные типы неопределенного поведения.
Мири не предоставляет Rust REPL, но это может быть частьсоздания такого инструмента .