I think the right answer here is to develop languages or libraries that enforce the constraints you want.
I think we should beware of adding layers of "silver bullet" technologies that promise to fix the last crisis, but increase the friction of development.
To illustrate what I mean, PLCs are normally programmed in ladder logic. From that level, I don't think you can crash the machine or corrupt memory. So the risks are limited to the "operating system" if you will, which can be more mature and tested than the "application".
I think we should beware of adding layers of "silver bullet" technologies that promise to fix the last crisis, but increase the friction of development.
To illustrate what I mean, PLCs are normally programmed in ladder logic. From that level, I don't think you can crash the machine or corrupt memory. So the risks are limited to the "operating system" if you will, which can be more mature and tested than the "application".