>>189
型に関する部分だけでは、全体のほんの一部だよ。
あんたが書いた通り、構文チェックもテストの一種だ。これは動的型でも行なわれる。
また、実行によるテストも当然、テストの一種だ。これも動的型でも行なわれる。

型だけで判定でき、かつ、型でしか判定できないバグは、全体の一部でしかない。