That's shifting the goal post. Ergonomically I don't know a single language that is both trying to make you write secure and correct code without sacrificing er

That's shifting the goal post. Ergonomically I don't know a single language that is both trying to make you write secure and correct code without sacrificing ergonomics. Closest is most likely Ada.