Тем не менее, Geniepro:
Какое из процитированных Вами утверждений лживое?
Неправда, что компилятор Оберона тыкает носом в присваивание
короткая целая := длинное целое?
Или неправда, что история с Арианом-5 подтверждает правоту Вирта (а также Дейкстры etc.) в отношении дисциплины программирования?
Суть Вашей этой рекламной агитки заключается в подразумеваемом Вами утверждении, что если бы софт Ариан-5 был написан не на Аде, а на Обероне, то компилятор якобы помог бы разработчикам обнаружить ту проблему, из-за которой Ариан-5 не выполнил задачу.
Это и есть ложь, причём самая нехорошая -- прямо Вы это не заявили, но дали читателю дойти до такой мысли (манипуляция сознанием).
Компиляторы Ады тоже по умолчанию не пропустили бы присваивание "короткая целая := длинное целое", однако из Вашей этой агитки следует ложное предположение, что они пропустили бы.