I'm also old enough to remember that. I was hoping language experts may have some useful information. I take ur point. Thx for answering
On Sun, Jul 23, 2023, 10:10 PM Kurtis Rader <kra...@skepticism.us> wrote: > 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/CAJTu_tb7CmWeFcfzh46kO-EGFcbgz8N-xeNXipuWE01BFT8CgA%40mail.gmail.com.
