4 ms·
> Rust simply makes memory-correctness something the compiler can check and the latter half of that statement is where things get problematic. Prove it to the
by lurr 9y ago
> Rust simply makes memory-correctness something the compiler can check
and the latter half of that statement is where things get problematic. Prove it to the compiler has repeatedly been too hard.
- baq 9y agoif it's too hard, drop to unsafe - you have the same guarantees as C++ there. the real problem is telling when it's impossible, e.g. in recurrent data structures, like linked lists and trees. that takes practice.