> -- Comdiv писал(а):
> Процедурные типы - это единственное средство, опирающееся на структурную, а не именную совместимость по типам.Не совсем точно, потому что в Oberon структурная совместимость также у открытых массивов, допустимых в формальных параметрах, а в Компонентном Паскале и для указателей:> -- Цитата:
> Правила совместимости для указателей были ослаблены и упрощены. Теперь указатели совместимы по структуре; то есть два указательных типа, имеющих общий базовый тип, являются совместимыми. Это может быть полезно в основном в сигнатурах процедур, где раньше было невозможно использовать функции, подобные следующей:	PROCEDURE P (p: POINTER TO ARRAY OF INTEGER)