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.