Static typing is very often misunderstood to mean that values are associated with types at Compile Time, when instead it means that that a Reference Value is manifestly (which is not the same as at Compile Time) constrained with respect to the type of the value it can denote, and that the language implementation, whether it is a compiler or an interpreter, both enforces and uses these constraints as much as possible.
You're in a polarized debate. Doesn't matter on what. You say X. They say Y. No-one is giving any ground on such an important issue. The thing may dissolve into Edit War or Thread Mess.