Здравствуйте, LaptevVV, Вы писали:

LVV>Смысл в том, что надо бы создать более защищенные, чем С++, языки программирования.
LVV>И переписать на них все, что можно переписать.

Ну все так все. Почему только Инет ?

Windows скоро перепишут ? Или может, предложим Микрософт реанимировать Singularity ?

Linux на каком языке переписывать будем ?

Как-то все это несерьезно.

Здравствуйте, Pavel Dvorkin, Вы писали:

PD>Ну все так все. Почему только Инет ?
PD>Windows скоро перепишут ? Или может, предложим Микрософт реанимировать Singularity ?

PD>Linux на каком языке переписывать будем ?

Windows на Rust, а Linux на Brainfuck?

Здравствуйте, AlexGin, Вы писали:

AG>+100500
AG>Что значит эти самые "аварийные остановки" Гремлины? Барабашка?

AG>ИМХО это значит только одно: разработчик (или вся команда) не выполнил до конца свою задачу
AG>Есть проблемы — аварийные остановки — смотри лог-файлы и разбирайся в причинах...
AG>Если нужно, то подключай других участников проекта (тех же QA) к локализации проблемы!

Входных данных у программы может быть миллионы. Всевозможные комбинации выполнения программы вообще сложно представить. А посмотреть лог-файлы и разобраться в причинах — это отладить один какой-то запуск, ну и также некоторые другие похожие. И на всё это уйдёт довольно много времени.

Если пытаться исправить все возможные ошибки, которые могут быть в программе, то может оказаться, что опытной команде не хватит миллиарда лет. То, что программа ни разу не упала, не значит, что она вообще не падает. Отладить на тестах и доказать отсутствие ошибок, это две большие разницы.