I agree that where strict typing exists it should have the ability to get out of the way as is with languages that support type inference. Personally I've neve

I agree that where strict typing exists it should have the ability to get out of the way as is with languages that support type inference. Personally I've never found type mismatches to be particularly a large problem, as you can still support input validation where needed, generally at some application message boundary like an http request/response, and the type of bugs caused by mismatched types are easy to diagnose and test for. The class of bugs that to me are much more difficult to fix unlike type mismatches are not immediately visible or do not give descriptive messages for example race conditions, memory leaks, logical errors, etc...