>>529
> 動的に型を変えたからって、その型に共通の何かが
> なければ、入れ替え可能にはならない。落ちるだけ。

nullは全てのメソッド呼び出しに対応してない（例外投げるだけ）けど
nullは全てのオブジェクト型変数に代入出来る。

つまり、せっかく型を書いて、コンパイルしても
動的言語と同じように落ちる可能性がある。
動的に型を変更すら出来ないのに。