In reply to @jviega "Yeah, static typing's primary": That's definitely a
misconception. Of course, I have heard it before. That's not why static typing
is a thing. It directly correlates to the constraints of the machine and the
natural progression of languages designed to conform to it's operation. There's
no such thing as a unnecessary necessary constraint to solve a logical problem.
Strict typing only helps when it helps and that is not the same as when the
compiler can use it to translate logic to machine code