Re:The Great Software Stagnation
by fiddlerwoaroof on Friday January 01, 2021 @07:59PM
(#25609122)
Ada is an example of this that everyone likes to ignore.
[ Parent
| on HN ]
No. Ada had no safe solution to dynamic memory deallocation until SPARK started supporting it, and ergonomic support for pointers in SPARK (borrowing) postdates Rust. Arguably we still don't have proof that SPARK is ergonomic enough for widespread adoption.
(I dated Rust's breakthrough to five years ago because although Rust had the features well before then, it was only about five years ago that it became clear they were good enough for programmers to adopt at scale.)