What about catching integer overflow? Free open-source languages still cannot do it unlike they commercial competitors like Swift?
replies(5):
https://play.rust-lang.org/?version=stable&mode=debug&editio... https://play.rust-lang.org/?version=stable&mode=debug&editio...
Just insist that the programmer prove that overflow can't occur, and reject programs where the programmer couldn't or wouldn't do this.