>>312
> インターフェースのチェックだけに限れば、静的型はほぼ完全にテストできている。

逆だろ
静的型ではほぼ完全にチェックできることしか書けないように、
本来ソフトウエアにできることに制限を設けてるだけ