>>547

>>482の流れだと

静的言語：型チェックのテストを書く。静的に型チェックされる。
動的言語：型チェックのテストを書かない。静的に型チェックされない。

ということになるかな？
動的言語は安全そうには見えないが……