There is also a case for making highly optimized C performance easier to attain, without needing to resort to unsafe code. You can do this by providing more inv

There is also a case for making highly optimized C performance easier to attain, without needing to resort to unsafe code. You can do this by providing more invariants to the compiler via a better type system, which gives it more room to optimize. It may never get to the performance of hand-optimized stuff, but for that there is unsafe code blocks.