Re:Math not essential - Logic is! (Score 1)

Strongly statically typed languages tend to generate faster, more correct machine code. Thanks to type inference and soft typing, such languages also do not require more coding because types do not have to be written by the programmer (type inference) and type errors do not need to be worked around if the code is in fact correct (soft typing). In fact, soft typing demonstrates that the distinction between static and dynamic typing can be blurred.

So on what grounds do you make the claim that strongly statically typed languages are not objectively better?