Unless your magical statically-typed pet language can read your mind and throw compilation error when you mistakenly write "x + y" when you should have "x - y",

Unless your magical statically-typed pet language can read your mind and throw compilation error when you mistakenly write "x + y" when you should have "x - y", I'm not sure what your point is.