実行するまでに型を決定して静的ディスパッチにできる、ということは、もうそれはもう静的な型システムじゃないですか？