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.
