OberonCore

В C# тоже есть, но в ансэйфе

Да, в Аде в локальных объявлениях можно в качестве значений (размеров) использовать свойства пришедших фактических параметров.

В принципе, никаких изменений в синтаксис не нужно - и технически не сложно, разрешить LEN от параметра ставить размером локального массива.

Позвольте вопрос , а что это нельзя делать? Вроде бы по описанию синтаксиса Оберона-07 прошелся и препятствий не заметил.

ArrayType = ARRAY length {"," length} OF type.
length = ConstExpression.
ConstExpression = expression.
expression = SimpleExpression [relation SimpleExpression].
SimpleExpression = ["+" | "-"] term {AddOperator term}.
term = factor {MulOperator factor}.
factor = number | string | NIL | TRUE | FALSE |set | designator [ActualParameters] | "(" expression ")" | "~" factor.
designator = qualident {selector}.
qualident = [ident "."] ident.
ident = letter {letter | digit}.
ActualParameters = "(" [ExpList] ")" .

LEN от открытого массива во время компиляции не вычислить --- не вписывается в семантику ConstExpression.

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

ForStatement = ... [ BY ConstExpression] . Здесь тоже во время компиляции должно быть вычислимо?

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

Как объявить их длину?
Если разрешить выражения -- то компилятору нужно отслеживать операнды и включить в код проверку длина>0 в ран-тайме.

Если просто LEN(a), где a обязан быть параметром?
Но возможна некая путаница с многомерными массивами.

Если VAR b: ARRAY AS a;
так чтобы b полностью дублировал a по структуре и размерам?

Можно пофантазировать о распространении этого способа и на другие ситуации. Группы "подобных" массивов часто встречаются.
Тогда, возможно, получилось бы упрощение правил передачи массивов в качестве параметров.
Но это похоже на описание типов. С другой стороны, массивовые типы и так стоят несколько особняком в системе типов. Это, скорее, предтипы -- что-то между атомарными типами и записями.

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

Да, раз ConstExpression.

Спасибо.

Николай Вальтерович прислал новую ревизию репорта.

Предупреждал же: надо к этим новостям относится спокойней.

Типичное ползание оптимизирующего алгоритма по точке оптимума.

Мое предложение -- опираться на опыт обучения 11-летних.

Я тут 'diff'ом по текстам прошёлся. Ещё добавлено:

11.1 The Module SYSTEM
Proper procedures:
COPY(src, dst, n) all INTEGER copy n consecutive words from src to dst

Пока конвертировал "старый" репорт из pdf в odc, чтобы в ББ сравнить, уже всё огласили. В любом случае, пригодится (http://oberoncore.ru/library/wirth_the_ ... on_revised).

Вышла новая ревизия языка Oberon-07 (1.10.2013 / 10.3.2014).
Изменились некоторые формулировки, а также изменились следующие вещи:
1) При записи вещественных чисел не поддерживается символ D и LONGREAL.
2) SET принимает значения от 0 до зависимо_от_реализации. Раньше было до 31.
3) Добавились некоторые предопределенные функции, которые должны быть реализованы при работе с RISC процессором.

Хотелось бы иметь список ревизий для сравнения как это сделано в МедиаВики.

А почему 10.03.2014? Это явно дата скачивания документа, а не заливки.

На "том, чье имя нельзя называть" форуме сообщение о новой версии идет от 26.02.2014.
Я скачал документ через Download Master со включенной опцией "Получать дату и время создания файла с сервера", его время еще более раннее - 22 февраля 2014 г., 06:36:12.

Так в документе.

А у меня ее нет, только дата старой версии.
Документ опять обновился! Новый залит - 11 марта 2014 г., 09:26:52.

Отличия:

Вот о нём речь и идёт.

Вышла новая уточнённая версия с правками от 4.3.2016. Сравнений с предыдущими пока не делал.