>>426
型の安全性とは、=の左右の型が一致しているということですか？
実行時には、型が安全であったかどうかという情報を破棄するというのは、どうしてそうするのですか？
なぜ、コンパイル時に行う処理と実行時に行う処理に分けるのですか？