we did, it's called rust
Conversation
Replying to
I think that’s Checked C, and it requires more runtime checks than Rust microsoft.com/en-us/research
2
1
7
Checked C doesn't provide temporal safety at the moment. It still has use-after-free and other assorted temporal safety issues so it doesn't have the main forms of safety provided by Rust via the borrow checker. It still has other dangerous undefined behavior beyond that too.
Temporal memory safety is the far harder part of the problem. Spatial memory safety is simple: bounds checks. Rust doesn't really have anything special or particularly interesting for spatial safety.
Preserving safety with shared memory, threads, etc is far beyond Checked C too.
4