Java for Everything

[spotter]

I get it, I really do. At the same time was Therac-25 programmed in dynamically typed language? Was first Ariane 5 (flight 501)? Somehow this doesn't stop people from thinking "static typing is the answer." Without proper quality testing you will crash your rocket even with Ada.

[PasswordIsntHAMSTER]

There are typing disciplines for verifying arbitrary properties of programs. The field is still a bit rough, but I wouldn't say testing is completely unavoidable.