Speaking of comparisons to bytecode, there&#x27;s currently a student writing a MIR interpreter as part of their research: <a href="https:&#x2F;&#x2F;github.com&#x2F;tsion&#x2F;miri" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;tsion&#x2F;miri</a> . There are some that foresee this being added to the Rust compiler itself, to enable more extensive compile-time constant evaluation.