型付けの強い/弱いと、静的/動的は直交する概念
強い動的型付け言語の場合、実行時に自動的に型の整合性はチェックされる

だからテストを書いてれば、わざわざ型チェック用コードを入れなくても
型エラーは調べられる

ま、それもこれもカバレッジが十分高い場合だけなのは事実だが、
静的言語であっても十分にテストされてないコードは
安全とは言いかねる