I think the assumption is that the hardware spec is correctly implemented and that it runs ideally well. Otherwise that would require some kind of probabilistic model I guess.
But you&#x27;re right, &quot;purity&quot; is a simplification. Computations are inherently effectful(and even side-effectful depending on the reference frame) in practice.<p>Also, I seem to understand that the research is merely done in the context of the Rust language. The title is maybe a bit too much :)