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

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

K_O>>

K_O>>Взрыв 4 июня 1996 г. ракеты Ариан-5, стоившей пол-миллиарда долларов, имел причиной программную ошибку, которую компилятор Оберона/Компонентного Паскаля просто не пропустил бы.

B>Ну пропустил бы другую ошибку и ракета взорвалась бы на 2 сек позже.
B>Никогда ошибки не будут выявляться автоматически компиляторами или другими тулзами.
Борис БАБАЯН. Защищенные информационные системы.

B>Просто сложность и объем кода настолько велик,
B>что даже одна ошибка на десяток миллионов строк кода может быть (и иногда становится)
B>роковой.
Речь идет о таких ошибках, которые компилятор МОЖЕТ обнаруживать. Ясно, что кривой дизайн никакой Оберон не исправит.
И здесь компилятор С++ заведомо проигрывает именно из-за невероятной сложности самого языка. И проще его сделать нельзя — стандрат однако!

Еще одна цитата оттуда же:

Отношение объемов описаний языков — 16 стр. для Оберона, 200 для Java и больше 1000 для C++.