When discussing static-vs-dynamic typing and the argument from the dynamic advocate is "I don't want to type types everywhere", the debate is over.
There are a few valid arguments in favor of dynamic typing - but that isn't one of them.
There are a few valid arguments in favor of dynamic typing - but that isn't one of them.
(I think this is because a lot of the advantages associated with dynamic typing were in fact portable back to statically typed languages. If you're comparing C++98 to Python, the dynamically typed language seems pretty nice. If you're comparing Javascript to Golang or TypeScript, not so much.)