Однако, всё же, потенциальный процесс создания пустого массива вряд ли "красив", если всё-таки апеллировать к "взыскуя научности" (тем более с учётом тесного переплетения понятий указателя и объектов по ним, когда, напр., VAR-параметр процедур ("изменяемый объект") совместим с типом указателей, нет обязательного "разыменования" при ptr[...] и т.д.).
Общая форма вида:
NEW(ptr, x0, ..., xn)
воспринимается, если Xi являются некими выражениями, вычисление которых может привести к нулевому результату.
Однако, в случае явного константного нуля (или константы, содержащей ноль), аля:
VAR arr: POINTER TO ARRAY OF INTEGER;
...
NEW(arr, 0);
как-то нехорошо. Не может быть нового "пустого кортежа", как и нового "пустого множества" и т.п. Таковы "математические объекты" единственны, имеют специальные обозначения (иными словами, на примере тех же указателей, иначе возникает какой-то "NEW NIL", т.е. новый объект NIL, а он в языке единственный).
Обращаю внимание на примере википедии про понятие кортежа, где математическое (именно) определение т.н. "n-ки" предусматривает n от 1 (например, в реляционных СУБД, как правило, нельзя создать "пустой" кортеж, т.е. таблицу без столбцов):
https://ru.wikipedia.org/wiki/%D0%9A%D0%BE%D1%80%D1%82%D0%B5%D0%B6_(%D0%B8%D0%BD%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0)Потенциальное введение константных выражений для массивов, пусть в виде "[1, 2, 3]" с особым объектом "[]", поможет в случае аргументов процедур как открытые массивы (аля при вызове процедуры: "p([])"). Однако, для инициализации переменной-указателя ведь не укажешь аля: "arr := []" (несовместимость типов, в домене указателей свой NIL-объект).
Не прокатят и фокусы вида:
"arr := @[]" или "@arr := @[]"
, поскольку нет оператора "адрес" (да и вообще, уж не "по-математически" все эти адреса..., включая и использование неких функций аля ADR).
Видимо, как компромисс, может быть есть смысл в краткой форме (дополнительно к полной): "NEW(arr)", т.е. с возможностью без указания данных для "измерений" массива, мол осуществляется инициализация указателя, а сам массив как таковой пока неопределенный (с договорённостью в языке, что является "пустым" кортежем).
В целом, направление у товарищей из Active Oberon было верное -- избавиться от эквилибристики на указателях для массивов.