2 ms·
Ada/SPARK can be memory safe, in part because they borrowed ideas from Rust. [0] https://blog.adacore.com/using-pointers-in-spark https://blog.adacore.com/usin
by AlotOfReading 2y ago
Ada/SPARK can be memory safe, in part because they borrowed ideas from Rust.
[0] https://blog.adacore.com/using-pointers-in-spark https://blog.adacore.com/using-pointers-in-spark
- LiamPowell 2y agoYou can't have the borrow checker without bringing the rest of SPARK with it as far as I'm aware, so this comes with the requirement that you prove the your program contains no other runtime errors.