We need languages that are not designed to allow security exploits by accident, like Ada, Modula-2 or any other in the same school of thought.