> そうだね、静的型情報をリンカに渡せば静的型でも必ずしも全てを再コンパイルする必要はない。
> そもそも動的型ならば全く再コンパイルする必要ないんだがなw

全く再コンパイルする必要ない！？それは大変だ。

インターフェースに不整合があったとしても、
その不整合を検出できないじゃないかｗ