あえて雑に言うと、型の誤りを原因にしてメモリを破壊する事が無い環境が狭義の型安全だったはずたぶん＞＜；
(TaPLを読んでる真面目な人が代わりに説明してほしい＞＜；)