Y
Hacker News
new
|
ask
|
show
|
jobs
by
AlotOfReading
501 days ago
Ada/SPARK can be memory safe, in part because they borrowed ideas from Rust.
[0]
https://blog.adacore.com/using-pointers-in-spark
1 comments
LiamPowell
501 days ago
You 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.
link