OberonCore

Допустим, есть программа:

Как программно можно определить, что array[i]^ := array[j]^ можно делать, если i = 0 и j = 2 и нельзя делать, если i = 0 и j = 1?

Из чего следует, что можно, а что нельзя? Это задаётся постановкой задачи? Контекст не ясен.

Смотрите, есть массив указателей базового типа. Туда можно присвоить и указатель, который наследуется от базового. Можно присваивать содержимое записи, указатель на которую хранится в третьей (индекс 2) ячейке массива, записи, указатель на которую хранится в первой (индекс 0) ячейке массива, так как они одного типа. Но нельзя присваивать содержимое записи, указатель на которую хранится во второй (индекс 1) ячейке массива, записи, указатель на которую хранится в первой (индекс 0) ячейке массива, так как они разных типов, хотя оба они и наследуются от одного базового типа. Если попытаться сделать такое присваивание, то произойдет run-time ошибка.

Как до присваивания, можно проверить, одного они типа или нет, если одного, то присваивать, а если не одного, то не присваивать?

А не должна бы. Речь ведь об Обероне-07? Так как типы выражений одинаковы - это RecordBase, и раз тело RecordBase пусто, то присваивание не имеет никакого эффекта. Конечно, это не прояснено в описании языка, но его давно следует уточнить.

Понял, о чем вы говорите, действительно, я написал не совсем то, что хотел спросить.
Если не писать охрану типа array[0](Type1), то действительно пустые записи должны присваиваться.

Допустим, есть другой массив:

И надо сделать Value[i] := Value[j], если array[i] и array[j] одного типа.
Как понять, что array[i] и array[j] одного типа?

Придётся снабжать RecordBase вспомогательной информацией о типе в том или ином виде. В общем случае базовыми средствами убедиться в идентичности типов не получится.

Или надо, вводить какие-то дополнительные средства, чтобы получить тип в run-time (Реализация, в любом случае должна где-то хранить эту информацию, для run-time проверок).

Вроде бы речь про Oberon-07, а не Blackbox с его спецификой.

Тег типа, вокруг которого вся "возня" - это не специфика, это у каждого Оберона есть. Хотя конечно из темы непонятно, что про Оберон07.

Да, но реализована она может быть сильно по разному и предоставлять или не предоставлять разное специальное API. Для общего случая надо писать явно.
Рифат любит недосказанность. Оберон-07 выходит из того, что базовая запись расширима по умолчанию.