4 ms·
Calling just “memory safety” correctness is a low bar and misses all sorts of other correctnesses (type safety, progress, matching-the-spec, etc.). However, it
by dbaupp 6y ago
Calling just “memory safety” correctness is a low bar and misses all sorts of other correctnesses (type safety, progress, matching-the-spec, etc.). However, it is a fundamental property: without memory safety, no other correctness can be guaranteed.
- tapirl 6y agoSo is it a property more important for inexperienced programmers?
- entha_saava 6y agoYou think only inexperienced programmers cause memory errors? I am no fan of rust and actually hate its evangelism. But this is ridiculous.
- tapirl 6y ago... more ...