I think he's trying to say that "strong-typing", in practice, as used by some speakers implies a static type system. And when used by other speakers does not i

I think he's trying to say that "strong-typing", in practice, as used by some speakers implies a static type system. And when used by other speakers does not imply a static type system.