Согласно особенностям Oберона-2 методы - это всего лишь связанные процедуры, и невозможность их не связывать с точки зрения сложности ничего не устраняет, а кое-где даже добавляет. Тогда о какой логике идёт речь? Или, всё-таки, что-то устраняет?

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