> -- Цитата:
> PROCEDURE СписокЧерезСвязь(Тип: STRING; ПолеСледующий: STRING; DYNAMICALLY_TYPED Элемент1 ... ЭлементЭн);
Кстати, насколько я понимаю, в Оберонах нет произвольного доступа к полям структуры (когда заранее неизвестны целевые объекты или места доступа), в отличие от того же доступа к элементам массивов ("адрес" от поля не взять и не поимеешь указателя, может быть есть некие низкоуровневые средства, но, скорее всего, как unsafe). Если не ошибаюсь, в Активном Обероне, кажись, есть концепция "делегатов". Как вариант, её можно обобщить до понятия виртуальных свойств, по мотивам как в примере по ссылке ниже с использованием "объектных" функций (это простой "скриптовый" Pascal):
https://github.com/nielsAD/lape/blob/master/tests/Directive_AutoProperties.lap

Альтернативно, в ML-лях есть обобщённое понятие "проекций" над структурами (кортежами, массивами) как языковое средство. В статейке ниже есть подборка видов проекций (это "скриптовый" вариант ML, фактически, препроцессор для C++ (с получением бинарников), оттого в ходу и указатели с адресами и пр.):
https://github.com/felix-lang/felix/blob/master/pdfs/technote-row-polymorphism.pdf

Можно попробовать ввести аналог (единственный) как языковое средство для проекций над записями (с оптимизациями), которое сгодится и для метапрограммирования, как-то так:
## Код:
```
type MyRec = record
  a: integer;
  b: string;
end;
...
var 
  p: case integer of MyRec; // проекция или выбор типа integer из MyRec
  rec: MyRec;
  i: integer;
...
// получаем "адрес" поля a (обращаясь к типу)
p := MyRec.a;

// используется как процедура:
i := p(rec);  // чтение свойства/поля
p(rec, 234);  // установка значения

// получаем "адрес" поля от переменной
p := rec.a;
```

Тип "case <тип> of <структура>" м.б. и обобщённым:
case const of MyRec; // выбор любого типа
case integer of record; // выбор из любой записи
case const of record; // выбор любого типа из любой записи

И есс-но "case-тип" доступен и в качестве "variadic":
any_proc(MyRec.a, MyRec.b);  // передаём два "поля" для процедуры с variadic-аргументами