They don't compared to dynamic languages. Those type systems are only an improvement compared to C and C++, not to dynamic languages.