> The types only matter during compilation.

That's pretty much the definition of static typing.