Re:Strong typing, a hill I'm willing to die on
by nyssos on Wednesday October 04, 2023 @12:59PM
(#37768124)
> 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.
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.