>>402
だからオブジェクト指向FAQをやっている人の陰謀(w では？
型安全についてはtype safeという昔からの用語があるのに
わざわざこれまでと別の意味でstrongly typedという用語を
使わせようっていうのはいかがなものか(w でもそういう流派
があることは了解しました。

ところでPascalみたいに右辺値(変数)の型と左辺値(値)の型
が厳密に一致している言語とOOPLみたいにsubtype関係にあれば
自由に入れてよい(その範囲で型が動的に変化し得る)とを区別
したい場合はどう呼び分けるべきなのかな。