&gt; 
How do you address the inherent unsafeness of hardware? Even &quot;pure&quot; functional languages are hacking around this...<p>By proving the hardware correct. Then if you&#x27;re running proven memory safe Rust on formally verified hardware, you&#x27;re guaranteed by construction that the Rust you&#x27;re writing is memory safe (for the formally-specified notion of &quot;correct&quot; and &quot;memory-safe&quot; in use, which will probably issues like manufacturing problems and compiler bugs).<p>A Google search for [hardware formal verification] can get you started, if you&#x27;re interested. There&#x27;s been a good deal of work in this area.