Re:Writing a Linux-compatible kernel in Rust
by pjmlp on Tuesday October 26, 2021 @01:00PM
(#29002939)
Indeed, when using Ada83 and ignoring all the later language standards.
You should compare with Ada 2012 with finalization types and SPARK.
Hardly any different than using unsafe on Rust's standard library, wrapped with safer constructs.
Looking at the Ada docs again, it considers manual deallocation an unsafe operation and suggests avoiding it altogether (IIUC, by restricting yourself to the stack or by leaking to the heap). That seems like a huge restriction, making the "Ada is safer than Rust" claims rather academic.