OberonCore

Ещё прихожу к выводу о целесообразности наличия в Framework-е самого базового типа Object с процедурой HandleMsg. Для расширяемости на все случаи жизни.

Мы на определённом этапе в одном каркасе ввели такой тип, понадобился - и потом себя оправдывает (какие-то общесистемные события через него проходят, и т.п.; любая расширяемость без ломания интерфейсов).

В другой задаче тоже возникает такой тип.

Так что стоит, видимо.

Я бы не стал торопиться, если "на все случаи жизни".

Вообще, это для решения той проблемы, что обязательно рано или поздно возникают какие-то запросы (события), которые "перпендикулярны" введённым интерфейсам.

(Например, выделение объекту "кванта времени" на его нужды).
Сообщения тут - то, что "доктор прописал".

Это, конечно, постоянно возникающая штука. Но я бы не спешил.

Разве есть сообщение, которое нужно разослать ВСЕМ объектам в памяти?

Эту темку надо бы в отдельную веточку, что ли.

Да нет, речь ни в коем случае не о какой-то общей шине. Вообще не о механизме, а просто о сигнатуре.

О базовом методе. Который бы обязательно и сразу у всех был.
Берём за самый базовый тип наш Object - и у всех объектов будет HandleMsg. А когда "гром грянет" - вот он, есть. И не придётся голову ломать, на каком частном уровне его вводить, ломая интерфейсы.

Может быть, ввести в ANYREC? : )

Вообще-то, чисто теоретизируя на будущее... Там ему могло быть место. Как и FINALIZE.
HANDLE.
И можно оператор типа HANDLE(obj, msg). А obj.HANDLE - implement-only. (чтоб развязочку между операцией посылки сообщения и самим обработчиком иметь).

Хотя... Нюансы могут быть, так что лучше не в язык.

В случае ББ - только в язык. Потому что иначе весь каркас менять придётся. А тут уж простор. Можно и так:
PROCEDURE (o : obj) HandleMsg1 (VAR msg : MessageType), NEW, HANDLER;
PROCEDURE (o : obj) HandleMsg2 (VAR msg : MessageType2), NEW, HANDLER;
тогда процедуру HANDLE можно будет вообще жёстко заоптимизировать - благо "compiler magic"

А что там оптимизировать?

точно не скажу, естественно, но пару-тройку-десяток команд по сравнению с WITH выиграть наверняка можно. А в стандартном обработчике сообщений это должно быть заметно.

Се, соображение:

пока никакой конкретной функциональности, привязанной к этому Object'у, каркас не предоставляет, его добавление не только совершенно бессмысленно, но и вредно по определению.

Что-то вроде Objects.Object из Oberon System?

Не могу судить; слабо знаком с класс. Оберонами.