> -- Oleg N. Cher писал(а):
> Из единообразности: если предлагается для констант CONST a=INTEGER(123);Тогда почему не разрешить это и в выражениях?
Олег, а Оберон-дзен вроде и направляет в сторону использования сущностей явно. Если мы используем константу в обычном выражении, то мы можем однозначно задать ее тип. И вроде парсер константных выражений тот же что и обычных.
А синтаксис - дело вторичное.

[Offtop]
Я за типизированные константы, но. Если мы позволяем быть константам элементарных типов, тогда, чтобы сохранить целостность, должны быть определяемы и структурные константы: массивы и записи. А вот с последними и совсем не ясно как и что. (Возможно я глубоко ошибаюсь)