> -- Валерий Лаптев писал(а):
> Так, вроде с первым вопросом разобрались. Значит это один из тех краеугольных ограничений, которыми полон Оберон-КП.
На первый вопрос Оберон и КП отвечают по-разному.

> -- Цитата:
> мы не можем писать процедуру с параметром-объектом базового типа, чтобы она обрабатывала объекты производного типа.
В Обероне можем.