4 ms·
People need to stop assuming that memory safety == functional safety. They are two very different things. Rust ensures memory safety, but it won't stop you from
by kahlonel 5y ago
People need to stop assuming that memory safety == functional safety. They are two very different things. Rust ensures memory safety, but it won't stop you from making logical mistakes. You can't be "sure about correctness" unless proven mathematically.
- foxes 5y agoI agree, but it is an extra level above c. Same with using a more advanced type system, more easily encoding problem constraints in that type system.