"If you have read my past writings, you know I am unimpressed with arguments about static type checking for its own sake, which typically come down to if I can not know X is an int, then the world will collapse!" . . . .