>>428
> 型の安全性とは、=の左右の型が一致しているということですか？

左右の一致もそうだけどジェネリクスの型が関わるところはすべて
Javaは静的型付き言語なので型は実行前に決まるからコンパイルが通ったら
型の不整合は存在しないってこと

> 実行時には、型が安全であったかどうかという情報を破棄するというのは、どうしてそうするのですか？

イレイジャ方式を採用してるから、なぜイレイジャ方式なのかは過去のものとの互換性のためらしい
詳しくはこのあたりを参照いただければ
贖罪のイレイジャ - プログラマーの脳みそ
https://nagise.hatenablog.jp/entry/20160520/1463744926

> なぜ、コンパイル時に行う処理と実行時に行う処理に分けるのですか？

イレイジャ方式を採用してるから実行時にキャストが必要になる