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

K_O>Речь идет о таких ошибках, которые компилятор МОЖЕТ обнаруживать.

Какие ошибки может обнаруживать компилятор?
Их не так уж и много.
Я лично не очень верю в надежность программ, написанных на языках
с очень строгой типизацией. Да, в простых случаях (студенческие программы)
это может помочь. Но в реальной жизни на преодаление ограничений, накладываемые компилятором,
могут быть потрачены такие усилия, что вся надежность будет перечеркнута
и даже будет еще хуже.

Почему придется преодалевать эти ограничения? Да просто жизнь такая
Можно почитать форумы тут на RSDN и проследить, как много усилий тратиться на разные
хаки и трюки, которые, кстати говоря, очень часто вызывают восхищение и
считаются "красивыми" решениями.