4 ms·
Bit scary there is probably a bunch of code in a car explicitly marked as "unsafe".
by tus666 4y ago
Bit scary there is probably a bunch of code in a car explicitly marked as "unsafe".
- Gigachad 4y agoPeople lose their minds over 5 lines in an unsafe block but sleep soundly seeing tens of thousands of lines of unsafe C powering their car.
- tus666 4y agoI wonder if there are legal implications though if there was a crash and it provides evidence that the maker actually knew it was unsafe.
- uninstallgentoo 4y ago
- kevincox 4y agoYeah, unsafe isn't the best keyword but alternatives like manually_verified are a bit too long.
- eutectic 4y agoI think it's supposed to be a bit scary, so you pay extra close attention.
- cesarb 4y agoPerhaps it's a bit different if you're not a native English speaker, since the emotional aspects of the word are missing. To us, it's just a foreign-language keyword, like "if" or "for".
- maxerickson 4y agoThe compiler can't enforce manual verification, so that would be potentially misleading in a bad way.
- blub 4y agoI don’t think there’s any automotive manufacturer crazy enough to use Rust in safety-critical components. They have to have air-tight documentation and Rust is neither certified nor a proven solution in this space.
- lawn 4y agoIt's more scary that there's a bunch of unsafe code out there that's not marked as such.
- IceWreck 4y agoUnsafe rust can be safe. Its just that the compiler cannot verify if it is. Same as writing any C/C++ code.