>>308
安全の定義によるけど、とりあえずsegmentation faultを起こすようなメモリアクセスは回避できる。
その程度の安全の保証ってことね。無限ループの検出なんかはもっとflow-sensitiveにやんなきゃできないしね。
Cでよくあるsegmentation faultとかバスエラーなんかはC言語の外のバグでOSが検出してんだけど、そういうの
をどうにか言語の中で検出しようって感じ？

遅いのは別に問題っていってないけど、速いってのは遅いってのよりもいいでしょ。
言語の自由さよりも速さを重視してる。
あと入り口の１箇所（関数のはじめとか？）でチェックするだけじゃ駄目な場合もいっぱい。