alt Hacker News> Rust has shown that extensive safety checks can be applied at compile time with zero runtime overhead.
at the cost of developing time and workarounds overhead.
> And, if it's not possible to prove this statically - you should be heavily questioning the security of that code.
or that's exactly the compromise that allows you to develop that software
there is no 100% safety with zero overhead
it is not possible
The claim was runtime cost
> the competing language will have a runtime cost, which often is unacceptable.
The problem you now mention
> at the cost of developing time and workarounds overhead.
Also happens with plain c and the "pay attention" method.