Тут https://youtu.be/HvAipsXmJpk короче много «неоднозначных суждений» про идеальную идеальность оберона, с характерной оговоркой про однопоточность, т.е. нишевость, и заявлениями что у других просто не выходит идеальный оберон, потому что власти скрывают, но ученикам Вирта из ETHz мешают нарциссы вроде Роба Пайка и Хайлзберга (что сомнительно как постановка задачи и как теория заговора, т.к. Хайлзберг в своем роде ученик Вирта, т.к. пилил с его другими учениками разнообразный паскаль в борланде, пока руководство борланда... кто-то из учеников Вирта, не подсело на тяжелые наркотики, аж Хайлзберг в майкрософт сбежал.. Мешать другим ученикам Вирта делать из C# идеальный оберон... для однопоточности).
Но вопрос о другом. Я эти борщехлебные песни слышал про идеальный лисп (что все любое — неидельное подмножество идеального лиспа). А если запереть в комнате фанатов лиспа и оберона, кто кого сборет и что является чьим неидеальным подмножеством? Или эта задача не имеет решения, кроме запереть их там, пока белый дым не пойдет?