Implicit type coercion is exactly the difference between strong and weak types. FFS. https://www.educative.io/edpresso/statically-v-dynamically-v-strongly-v-we

Implicit type coercion is exactly the difference between strong and weak types. FFS. https://www.educative.io/edpresso/statically-v-dynamically-v-strongly-v-weakly-typed-languages https://www.educative.io/edpresso/statically-v-dynamically-v... And if you really do not believe that to be a problem because the compiler warned you about it, I bid you the best of luck. You're gonna need it. There are dozens of ways that bug can sneak its way past the compiler where you won't get a warning because the compiler only does local type inference.