インターフェースのテストの意味がわからないお馬鹿さんがいるようなので
具体的に説明する。

foo(TypeA a, TypeB b, TypeC c) という関数がある。

この関数を使っている所がソースコードのあちこちに存在する。
静的型付けであれば、このインターフェース、つまり引数の型が違うものを
全て教えてくれる。

>>314はこのインターフェースのテストを書くらしいｗ
俺は実行して見る以外のやり方を知らないよ。

実行すればわかる？ そうだね。”漏れがなく完璧なテストがあればね"
さあテストを書くお仕事だ。テストを書くのはコストは掛かるぞ。
テストをメンテナンスするのにもコストは掛かるぞ。

静的型付けでは、このインターフェースのテストにはコストはかからない。