Nah, rust also guides you to "death from a million paper cuts" aka RAII (aka everything is singularly allocated and free'd all over the place). You need memory management to be painful like in C so that it forces people…
Just bang out a bunch of C code, feed it to an AI: "Make this memory safe". Profit. No need for rust, Ada, CHERI, SPARK, etc.
Nah, rust also guides you to "death from a million paper cuts" aka RAII (aka everything is singularly allocated and free'd all over the place). You need memory management to be painful like in C so that it forces people…
Just bang out a bunch of C code, feed it to an AI: "Make this memory safe". Profit. No need for rust, Ada, CHERI, SPARK, etc.