> 動的に型解決というのがいまひとつピンとこないのだが。

コンパイラがラクになるじゃなかったっけ？