There is an old definition of language safety which means "no untrapped execution errors". It is not the only way to define safety, but it is a good way that yo

There is an old definition of language safety which means "no untrapped execution errors". It is not the only way to define safety, but it is a good way that you can adapt to various kinds of x-safety, such as memory safety. I have a little post that explains this using a few more words, if interested: https://burakemir.ch/post/memory-safety-the-missing-def/ https://burakemir.ch/post/memory-safety-the-missing-def/