For reference, here's the difference: Strong typing ensures all results are well-defined, as the result of a specification, and it uses type information to do t

For reference, here's the difference: Strong typing ensures all results are well-defined, as the result of a specification, and it uses type information to do that. Weak typing throws away type information, so it can no longer uphold such specifications. Note that auto-conversion and error on mismatch are both evidence of strong typing in action, because both behaviors rely on type information in order to occur.