Comment by IshKebab

It's not particularly consequential when the types are only used for type checking and then thrown away. That's how Typescript and Python work.

But when the types are sound you can use them to compile better code. That's what most languages with "proper" static types (not just type hints) do.