[cyberax]

Ada doesn't offer any safety for dynamic memory. In fact, Ada is now adopting Rust's approach with the borrow checker.

[actionfromafar]

Great! Time to jump on the Ada bandwagon then! ;)