ていうか、説明がおかしい気がするけど、狭義の型安全ってそういうものでは感＞＜
静的で強い型つけが好きな人々(＞＜含む)からしたら、弱すぎて足りなすぎる「よくそんなの使う気になるね＞＜；」だけど、
例えば、文字列型と数値型で足し算が出来るか例外出すか、あるいは結果が数値になるか文字列型になるかみたいなのは、型安全かどうかや、静的動的であるかにも、直接は関係ない＞＜