Да, есть такая проблема. Просто она не приоритетная. Потому что:
1. Сам репорт ничего не говорит про проверки. Т.е., текущая реализация никак не противоречит оригинальному репорту. Так что вообще говоря лучше начинать с убеждения Вирта в важности таких проверок и необходимости включения их в репорт.
Опыт си языков, доказал, что данные проверки необходимы. Всегда можно добавить флаг компиляции. Убеждать Вирта, смешно... Данные проверки не меняют язык, потому их наличие ни как не противоречит репорту.
2. В случае компиляции в JS получаемый undefined behavior конечно неприятен, но не настолько фатален как в случае native кода - память не портится (пресловутая герметичность сохраняется).
Да, но ошибка критична. В любом случае программа будет работать
неправильно.
3. Решение этой проблемы сильно зависит от того, к чему придет компилятор в плане генерации кода. И от того к чему придут браузеры. В JS уже есть типизированные массивы, возможно добавят и возможность проверки индексов - в этом случае проблема решится автоматически.
Идею понял. С тем же успехом можно ждать пока в браузеры встроят поддержку оберон.
Неужели данная проверка сложнее, чем уже написанный компилятор, или это личное убеждение?
Самое главное, данные ошибки отлавливаются в рунтайме. Программист при ошибке, получает вменяемое сообщение. Упрощается поиск ошибки, не нужно лопатить код.