Wouldn't a forum dedicated to Ada be more appropriate for your question? I'm old enough to remember reading articles about Ada when it was being designed. But that doesn't mean I'm qualified to opine on it as a language and there are unlikely to be many people on this mailing list who are qualified.
On Sun, Jul 23, 2023 at 5:23 PM Robert Solomon <drrob...@gmail.com> wrote: > I've been reading that the NSA wrote a position paper last year about > memory safe languages, which include C#, Go, Java, Ruby, Rust and Swift. > > It's clear to me why C and C++ are not on that list. > > I always thought that Ada sought to be memory safe, or is equivalent to > that by saying that Ada focuses on proving programs to be correct. > Why isn't Ada considered memory safe, at least in the eyes of the NSA? > > -- > You received this message because you are subscribed to the Google Groups > "golang-nuts" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to golang-nuts+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/golang-nuts/bba0b21e-5e34-4529-9878-5453e099a053n%40googlegroups.com > <https://groups.google.com/d/msgid/golang-nuts/bba0b21e-5e34-4529-9878-5453e099a053n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- Kurtis Rader Caretaker of the exceptional canines Junior and Hank -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/golang-nuts/CABx2%3DD_fiYjc%2BQEyXJS%2B_235uYwa8xzEOrwpLpiY4uABJxc_sw%40mail.gmail.com.
