4 ms·
It's not just "not having to write out the type". It's that the compiler can automatically insert typed unions to make the typing dynamic where you need it. If
by tachyonbeam 11y ago
It's not just "not having to write out the type". It's that the compiler can automatically insert typed unions to make the typing dynamic where you need it. If a variable can have different types at different times, that's dynamic typing.
- dllthomas 11y agoOne way of looking at a union type is "this variable can have different types at different times." Another is "this variable has a single type - the union type." Especially if actions are restricted to those valid on all parts of the union, I'd say it is correct to consider that to still be static typing.