バグを出さないことではなくて、バグを発見しやすいスタイルで記述し、
言語はバグを発見しやすい言語仕様であればいい。
そういうのはどの言語？