3 ms·
> Sqlite is tested so thoroughly I doubt Rust's borrow checker (which is essentially just another test) would benefit it You may as well be correct about not h
by _flux 4y ago
> Sqlite is tested so thoroughly I doubt Rust's borrow checker (which is essentially just another test) would benefit it
You may as well be correct about not helping here, but borrow checker provides proofs, not tests; a test can only prove the presence of a bug, while a proof can prove the lack of a certain kind of bug.
- Ultimatt 4y agoUntil someone exploits the logic of the borrow checker leaving all Rust compiled programs vulnerable...
- p-e-w 4y agoSure. But that bug only needs to be fixed once, whereas bugs like the one described in the link need to be fixed again and again and again and again and...
- oconnor663 4y agoYou might be under the impression that the borrow checker is executing at runtime in a compiled program. But it's a purely compile-time thing, like a type checker.