Да, может быть, оно.

Отсюда можно сделать интересный вывод. Раз компьютер делает ровно то, что в него заложили, то если в него заложить ошибку, то он произведёт ошибочное действие. Поэтому необходимо, с одной стороны, уменьшать возможность ошибки на входе, а с другой стороны, дать возможность всё-таки решать задачи.

Кстати, выходит, что известный анализ ("Арифметика синтаксиса") показывает обе этих стороны:


С одной стороны, линия Оберона движется в сторону уменьшения входных ошибок, а с другой стороны, майнстримовые языки движутся в сторону увеличения возможностей (при этом, далеко не факт, что усложнение языка даёт такое же увеличение возможностей, и не факт, что упрощение Оберона на столько же уменьшает возможности).