結局、書く手間の割に対して安全でもないってことだろ。
そこまでクリティカルなプログラムの場合、他の部分で十分テストするし、
言語レベルでなくてそちらの要素のが安全面に関しては影響がでかいっいう当たり前のことに
まともな奴らは気付き始めてる。