I'd never seen [1] before. Thanks for the link! That's a great and even-handed discussion of the topic. I've written a lot of hobby Ada code. I really like the

I'd never seen [1] before. Thanks for the link! That's a great and even-handed discussion of the topic. I've written a lot of hobby Ada code. I really like the language. Recently I did some research into how memory safety in Ada/SPARK compares with Rust[0]. My conclusion was that Rust is better at outright preventing common memory-related errors, but Ada has a lot of great features which let you avoid them in the first place. SPARK is a bit intimidating, but you can pretty much achieve parity with Rust on memory safety, and achieve a higher degree of safety overall. I got a real kick out of someone's comment on Reddit saying 'Both Ada and Rust benefit from not being C'. 0: https://ajxs.me/blog/How_Does_Adas_Memory_Safety_Compare_Against_Rust.html https://ajxs.me/blog/How_Does_Adas_Memory_Safety_Compare_Aga...