Здравствуйте, vdimas, Вы писали:

C>>О современном состоянии в разработке ПО там и близко не знают.
V>Скорее, ровно наоборот. Идеи Оберона просты, мощны, но на первый взгляд их мощь неочевидна. Это развитие ООП ровно в ту сторону, которая стала неожиданно популярной буквально недавно: GC, функциональные типы, динамическая загрузка и выгрузка модулей, акторы и прочая "новомодная" асинхронность (AWAIT в Active Oberon) изкаробки.
Да ну? Бредить переставай.

В Обероне нет:
1) Алгебраических типов и Pattern Matching
2) Generic'ов — нельзя даже сделать банальный типобезопасный map.
3) Макросистемы
4) Зависимых типов
5) Typeset'ов
...
Это унылое дерьмо мамонта из 80-х годов.

V>Просто Вирт и Co обогнали время... Просто ты нифига об Обероне не знаешь, судя по этому посту, т.к. твои реплики полностью противоречат реально произошедшему.
Чувак, я участвовал в эпичном треде о "синтаксическом оверхеде". Это ты ничерта не знаешь об Обероне.

То что ты называешь "обогнал своё время" — это http://www.ethoberon.ethz.ch/native/compiler/active.index.html и примерно соответствует OpenMP для С/C++. Собственно, оно с первой версии OpenMP и содрано чуть более, чем целиком.