One might argue that &quot;guaranteeing your web browser doesn&#x27;t have memory leaks&quot; is a &quot;hard problem.&quot; Ergo <a href="https:&#x2F;&#x2F;github.com&#x2F;servo&#x2F;servo" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;servo&#x2F;servo</a> .  I agree, though, that the problems you mention are all ones where I&#x27;d love to see a greenfield programming language with as much attention to detail and support as Rust has.