We don't have programming languages that make large software systems provably free of certain bugs.
open
Global / Unspecified, Global
WS00176
Even experienced teams regularly introduce bugs into complex software, some of which cause expensive failures. Languages or tools that can mathematically guarantee certain classes of bugs can't exist would be a major step forward.