budden,

Мне кажется, я тут закончил.

Вернемся к обсуждению, когда подтянешь потерянные годы в ИТ.

Что то было про бисер и яблоки и апельсины в тему...

Статья
Во-первых, там компилятор обо многом не скажет, например, о неиспользованной переменной, или неиспользованном значении при присваивании. Во-вторых, множество вещей в определении языка не сказаны: порядок вычислений, к примеру, или смысл встроенных функций. Не определено и то, чем заполняются неинициализированные переменные. По идее их нужно заполнять нулями, или компилятор должен ругаться. Именно недоопределённость языка во многом делает определение столь лаконичным. Его нельзя сравнивать по числу страниц с более подробно написанными определениями. Дальше, из прекрасного: COPY - копирует строку в строку. При переполнении обрезает. Это вызывает реальные проблемы. При переполнении должно падать. Есть тип данных SIZE, который означает "разницу адресов памяти" и "индекс в массиве" - у меня были реальные проблемы, когда в коде было перепутано одно с другим.

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

По статье - ну я посмотрел, Common Lisp не хватает. А если уж Common Lisp не хватает, то тогда не хватает и пролога со смолтолком.

То, что возникли проблемы с запуском AOS - там есть какие-то глупости на входе, типа надо создать руками рабочую директорию или что-то в этом роде. Не знаю, зачем это так.

Нормальные компиляторы сообщают и об неинициализированный переменных и о неиспользованных.

В документе ETH Oberon (2019) Language Report явно сказано о принудительной инициализации указателей и порядке вычислений при вызове процедуры.

Остальное - implementation defined. А поскольку есть только одна реализация AO, то просто нужно задокументировать и всё.

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

Прологи, смоллтолки, лиспы и прочие хаскелли и скалы не рассматривались ввиду практического их неиспользования в рабочих задачах.

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

Siemargl"Создателям Метапрога следовало подучить матчасть"
Узнал бы сам что за метапрог лучше. Надоело уже, каждый 2 учит, то о каком нибудь ДРАКОНе расскажет как об открытии, то о лого вообще)). Гуглом пользоваться умеем, о "конкурентах" знаем. IEC 61131-3 - вообще не про то.
"Различные ошибки" это не конкретика.

То что я быстро нагуглил про метапрог, сказочное г.
Нечитаемые картинки и отсутствие обработки ошибок в сгенерированном коде.

Может, не там смотрел?

В Обероне лишние BEGIN убраны, так что еще терпимо.

Вообще то успел, в конце статьи "сводная таблица соответствия" и там много чего есть.

Можешь ткнуть в конкретное место? Я не нашёл. Недавно обсуждалось в чате A2 про порядок вычислений. Я не поручусь, что речь шла именно про A2, а не про Блекбокс, но в нашем переводе, к-рый мы делали осенью, этого нет. Может быть, они добавили позже, а может, что переводчик что-то упустил. Сразу скажу, что я ни разу не читал текст целиком, это, конечно, плохо, но в целом работе не особо мешает.

Остальное - implementation defined. А поскольку есть только одна реализация AO, то просто нужно задокументировать и всё.

Не только, нужно ещё подправить косяки.
.....

Ну заниматься языком, не читая спецификаций - такое себе развлечение =)
8 Variable Declarations
Variable declarations introduce variables by defining an identifier and a data type for them.
Variables can be initialized with a value. If they are not initialized, the initialization with a
null value is guaranteed for pointers and otherwise it depends on the implementation of the
compiler.
11.4 Procedure Call Statement
...
If the parameter is a value parameter, the corresponding actual parameter must be an ex-
pression. This expression is evaluated prior to the procedure activation, and the resulting
value is assigned to the formal parameter which now constitutes a local variable on the callee
side.
Здесь не очень очевидно, но в Обероне в принципе нет переупорядочивания вычислений. См пример в 6.6.1 Side Effects в книге Programming in Oberon


Какие именно приложения?

Трапался сам диспетчер задач, остальное уже не помню, 2 года прошло.