[pjmlp]

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.