動的型付とOO言語

モダンなOO言語において変数はリファレンス(or ポインタ)の入れ物にすぎない。
リファレンス(ポインタ)自体に型はない。

OO言語において、オブジェクトの型は生成された時点で決定され、変わることはない。
モダンなOO言語における動的型付とは変数の型が代入されたオブジェクトの型によって
決まるようにみえる型付方法を指す。

つづく？...推敲中