>>811
お前が型安全の意味を間違ってるってことはよく分かった。

メモリ保護エラーなど言語で解決されないエラー
（OSがトラップするエラー）になってしまうことを
型安全じゃないっていうんだよ

言語で例外になるならそれは型安全