>>42
You may be thinking of languages like C++ and Java, where the type system requires excessive typing. Other languages have type inference, or less verbose syntax.
When you write code, you make mistakes and have to spend time fixing bugs. The static/dynamic choice is just a tradeoff between testing (for dynamic types) and writing type signatures (for static types).
On one extreme end of the spectrum are people like Ruby on Rails developers, who write shitty unit tests for everything and release buggy code. On the other extreme end are academics and people developing critical software who write proofs that their code is correct, they take forever but you can trust what they do.
At the end of the day, both sides did the "extra" work of checking their code and both sides got paid.