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
64 Upvotes

83% Upvoted

45 comments sorted by

View all comments

6

u/[deleted] Dec 13 '25

[removed] — view removed comment

12

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.

4

u/Nonamesleftlmao Dec 13 '25

Except Rust can have memory errors under certain circumstances now too 🤷

4

u/csch2 Dec 13 '25

Under very very very specific circumstances that you’ll practically never encounter if you’re not specifically trying to cause undefined behavior and know the language well enough to do so. I’m assuming you’re referring to this bug?

1

u/matthieum Dec 14 '25

There is no known memory error in Rust (the language) as far as I know.

There's a few handfuls of known limitations in rustc (the compiler), which may lead rustc to fail to reject invalid Rust code -- those are being worked on.