А кому решать, кто нужен, а кто нет? Вам?

Илья, структурное программирование, assert-ы, ужесточённый контроль памяти, проверки индексов массивов можно успешно применять и и в более приближенных к жизни языках - в частности в Делфи, что я и делаю. И тем не менее, логические ошибки неизбежны. В Обероне есть полный дамп памяти и стёка вызовов, а в Делфи аналог в виде отладчика, просмотра переменных и т.д, без которых, чисто на доказательстве программ, далеко не уедешь. Истинные гуру, о которых, видимо, думает info21 - это люди, которые и в дампах не нуждаются. Их программы по умочанию верны, а все ошибки находятся в момент компиляции. Разумеется, при большом опыте программирования в определённой сфере частота ошибок падает, но не исчезает.