That's not true. Memory safety could be free. Actually it would even outperform any memory unsafe language, when done right™. The key would be hardware support

That's not true. Memory safety could be free. Actually it would even outperform any memory unsafe language, when done right™. The key would be hardware supported automatic memory management. This tech exists since many years but nobody uses it (likely because our "good old friend": patents, which is a death sentence to any good idea). https://researcher.watson.ibm.com/researcher/files/us-bacon/Bacon12AndThen.pdf https://researcher.watson.ibm.com/researcher/files/us-bacon/... https://people.eecs.berkeley.edu/~kubitron/papers/holistic_runtime/maas-asbd16-hwgc.pdf https://people.eecs.berkeley.edu/~kubitron/papers/holistic_r... https://adept.eecs.berkeley.edu/wp-content/uploads/2018/06/A-Hardware-Accellerator-for-tracing-garbage-Collection-Maas-6-2018.pdf https://adept.eecs.berkeley.edu/wp-content/uploads/2018/06/A...