> -- kreol писал(а):
> Но в Сообщение о языке КП дословно сказано следующее:Справедливо ли это для других Оберонов или только для КП? То есть мне процедурные типы не кажутся устаревшими, а в оригинальном (первом) Обероне они очень неплохо помогают увидеть объект полностью, когда все его методы, так же, как и атрибуты, описываются внутри одной записи. Или я чего-то не понимаю и процедурные типы однозначно маст дай?

Прочесть невозможно, но проблема с безопасной выгрузкой модулей (вероятно, об этом речь) есть во всех Оберонах.

Совсем без процедурных типов плохо. (Есть такой удобный критерий: без процедурных типов трудно студентам объяснять что к чему -- все равно приходится вводить процедурные переменные.)
Другое дело, как повысить безопасность. Было предложение задвинуть процедурные типы в SYSTEM. Жизнь покажет.