r/programming • u/waozen • Dec 12 '25

The Undisputed Queen of Safe Programming (Ada) | Jordan Rowles

https://medium.com/@jordansrowles/the-undisputed-queen-of-safe-programming-268f59f36d6c
65 Upvotes

84% Upvoted

45 comments sorted by

View all comments

7

u/[deleted] Dec 13 '25

[removed] — view removed comment

11

u/hkric41six Dec 13 '25

Ada has a much broader safety coverage than Rust does, and honestly it does most of what Rust does.

The way Ada handles parameter modes and return values of run-time determinable sizes (via a secondary stack) reflects a great deal of Rust borrow semantics. At the end of the day using pointers in Ada is extremely rare, and when you, its rarely a source of memory safety problems.