Я на днях закончил читать эту диссертацию. Очень интересное чтиво. Там, например, коротко, но довольно убедительно показывается, зачем нужны привязанные к записям процедуры (методы). Также проводится различие между типами и классами, хотя и говорится, что в Обероне удачно выбрано для обеих концепций использование записевого типа, критически рассмотрена изложенная другим автором идея о том, что модуль — это и есть тип и предложение разрешить создание экземпляров модулей.

Самое важное, показано на примере, как сделать расширяемую объектно-ориентированную систему, которая бы могла быть расширена без перезагрузки себя самой и в которой расширяемость спускается до самого низкого уровня (загрузка модулей, распределение памяти, файловая система), решены проблемы с блокировкой сборки мусора с помощью введения объектов-директорий). И всё это на языке Оберон-2, без изменения самого языка.

Вся эта ОС называется Ethos. Что с ней стало дальше? Это S3? V4? Что-то отдельное?