После прочтения документа http://www.oberon.ethz.ch/oreport.html возникло несколько вопросов.

1. Что же все-таки делать с процедурами, которые возвращают record или array. Вроде, компилятор на такие не ругается, но непонятно, как их потом использовать. Кроме того, в пункте 10.1 говорится, что нельзя предать в качестве формального параметра процедуру, которая возвращает массив или рекорд, хотя компилятор опять-таки не ругается на такую конструкцию.

2. Действительно ли нет операции взятия указателя (как * в паскале). То есть, единственный способ дать указателю значение это или new или присваивание другой переменной-указателя?

Скачал WinOberon на том же сайте и пробовал все эти конструкции в нем.

1) Процедура-функция не может возвращать record или array, это написано в 10.1: The result type of a procedure can be neither a record nor an array. Что касается передачи процедурной переменной, то передаваемая процедура не должна быть локальной (вложенной в другую процедуру), а должна быть определена глобально.

2) Да, операция взятия адреса отсутствует. Всеми указателями управляет сборщик мусора.

Активно работающий форум по оберонам там: http://forum.oberoncore.ru/