Oberon space

Статья Вирта в переводе.

Хорошие идеи: взгляд из Зазеркалья

Аналогичным примером является инструкция проверки границ массива. Она сравнивала индекс массива с нижней и верхней границами массива и вызывала системное прерывание, если значение индекса не находилось в этом диапазоне, объединяя, тем самым, две инструкции сравнения и две инструкции ветвления.

Да, есть такая проблема. Просто она не приоритетная. Потому что:
1. Сам репорт ничего не говорит про проверки. Т.е., текущая реализация никак не противоречит оригинальному репорту. Так что вообще говоря лучше начинать с убеждения Вирта в важности таких проверок и необходимости включения их в репорт.

Опыт си языков, доказал, что данные проверки необходимы. Всегда можно добавить флаг компиляции. Убеждать Вирта, смешно... Данные проверки не меняют язык, потому их наличие ни как не противоречит репорту.

2. В случае компиляции в JS получаемый undefined behavior конечно неприятен, но не настолько фатален как в случае native кода - память не портится (пресловутая герметичность сохраняется).

Да, но ошибка критична. В любом случае программа будет работать неправильно.

3. Решение этой проблемы сильно зависит от того, к чему придет компилятор в плане генерации кода. И от того к чему придут браузеры. В JS уже есть типизированные массивы, возможно добавят и возможность проверки индексов - в этом случае проблема решится автоматически.

Идею понял. С тем же успехом можно ждать пока в браузеры встроят поддержку оберон.
Неужели данная проверка сложнее, чем уже написанный компилятор, или это личное убеждение?

Самое главное, данные ошибки отлавливаются в рунтайме. Программист при ошибке, получает вменяемое сообщение. Упрощается поиск ошибки, не нужно лопатить код.

var test = function (JS){
var M = RTL$.makeArray(10, 0);
var I = 0;
var J = 0;
J = 500;
I = J + 1e+54 | 0;
M = 5;
JS.alert(M);
}(this);


JS динамический язык, странно, что сам интерпритатор JS не сообщает об ошибке. Или в JS  это нормально?

Ещё забавнее.

MODULE test;
IMPORT JS;
VAR
M: ARRAY 10 OF INTEGER;
I : INTEGER;
J : INTEGER;
 
BEGIN
 
J := 500;
I := J + 999999999999999999999999999999999999999999999999999999;
M[I] := 5;
 JS.alert(M[I]);
END test.


Всё работает, ответ 5.

Спасибо.

Давно исходники у вас появились? На сайте оберкора проскакивали сообщения, что кто то, где то пишет ББ под линукс. Я посмотрел реализацию хост, написана на gtk. Это те самые исходники?

И ещё раз спасибо. Буду изучать.

Думаю серый цвет более нейтральный.

Пример, серого комментария.

Подправил ссылку. Теперь показывает.