> A strong type system does not allow types to change after being established. A weak type system allows types to change. For dynamic types, sure, that's a rea

> A strong type system does not allow types to change after being established. A weak type system allows types to change. For dynamic types, sure, that's a reasonable enough definition. But it doesn't really make sense for static types: they're attached to expressions in your source code, not runtime values.