OberonCore

Похожие эксперименты с языком, в сторону PICов:
http://www.inf.ethz.ch/personal/wirth/Articles/Miscellaneous/PICL.pdf
Есть еще инфа по ссылке:
http://www.inf.ethz.ch/personal/wirth/Articles/Miscellaneous/

Две новых ссылки на сайт CFB Software (Брисбен, Австралия):
The Oberon-07 Language: http://www.cfbsoftware.com/armaide/Oberon-07.aspx
Oberon-07 Syntax Diagrams by CFB Software (106 KB zipped CHM Help file): http://www.cfbsoftware.com/armaide/Oberon07.Syntax.zip

Не знаю, куда лучше разместить, пока сюда.
О разработке мультимедийного чипа в нашей компании:
http://www.rbcdaily.ru/2010/02/04/media/456863
За основу архитектуры, скорее всего, будет взят ARM. Ключевые особенности семейства чипов: много мелких ядер для распараллеливания процесса (де)кодирования кадров и звуковых треков, низкое энергопотребление.
Предполагается вставлять варианты чипа во всё, что только можно, начиная с приставок для цифрового ТВ. К участию в этом проекте (внедрении) будут приглашаться многие компании.
Надеюсь, достижения оберон-технологий окажут положительное влияние на будущую архитектуру. Моя мечта: пусть появится система программирования для будущего чипа на основе КП/ББ-Оберон-07. Это тем более естественно, что Оберон-07 как раз приспосабливался Виртом под ARM и уже есть работающая система Armaide. Есть у швейцарцев и некие наработки по теме Оберон-на-чипе.
Высказана руководству.
Мой личный потенциальный вклад в это дело - подготовка десятков начинающих программистов - студентов и школьников - в среде КП/ББ. Ну и агитация за хорошее

Как известно в Oberon-07 нет динамических массивов. Если все-таки динамический массив понадобится, можно ли будет его как-нибудь эмулировать? (Создать список структур не предлагать. Так как, допустим, если надо вызвать какую-нибудь сторонюю функцию и она может работать только с непрерывным куском памяти. Или же по алгоритму, надо отсортировать массив и искать в нем бинарным поиском. Еще много для чего может понадобиться динамический массив.)

From: Niklaus Wirth ***
Subject: Oberon Report
Time: 2011-09-13 at 12:56
Message
...
The Oberon Report still contained some typos and inconsistencies.
A corrected version is now on the web:

The Programming Language Oberon-07 (Revised Oberon)
http://www.inf.ethz.ch/personal/wirth/A ... Report.pdf

Best regards ...
Niklaus

По всей видимости здесь http://www.inf.ethz.ch/personal/wirth/A ... eron07.pdf красным выделены поправки 2011 года.

Вопрос не вполне ясен.

Во всяком случае полезно иметь в виду такой механизм:
Пусть есть
TYPE Array = ARRAY N OF Type;
VAR a: Array,
И пусть есть процедура с сигнатурой
PROCEDURE P (VAR A: Array; B, C: Array);
И пусть есть вызов
P(a, a, a);

Тогда внутри процедуры будут в наличии -- кроме обрабатываемого массива a -- еще два вспомогательных массива такой же длины.
Они при этом будут содержать копии a, но это уже детали в данном случае.

В ревизии 2011 года это дело, похоже, не пройдёт...

Не может быть.

http://www.inf.ethz.ch/personal/wirth/A ... eron07.pdf ?

Но почему CAN BE PASSED - не MUST?

Да уж... без поллитры не разобраться.

Никто не обязывает передавать в процедуру структурные переменные, но если хочешь, то можешь передать их по ссылке.

Меня терзают смутные сомненья. In the former case таки, наверное. Ну и там is if, конечно, is of.

По-моему, там сказано в виде пояснения к сообщению о языке: запрещаем присваивания фактическим параметрам структурных типов с целью задействования передачи по ссылке (без копирования) для всех параметров структурного типа.
В сообщении просто "ставят перед фактом": сначала говорится про невозможность менять значение фактического параметра-значения (выражения) вообще. Затем делается оговорка про скалярные типы, для которых параметр-значение представляется проинициализированной локальной переменной (которую, поэтому, можно менять).

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

Их можно размещать вручную в виде глоб. или локальных переменных и передавать как параметры-переменные. И ненужного копирования не будет:
TYPE Array = ARRAY N OF Type;
PROCEDURE P (VAR A: Array; VAR B, C: Array);

VAR a, b, c: Array;
P(a, b, c);

К вопросу об оптимальном минимуме: Comparative reliability of C and Oberon-07

есть сигнал с форума astrobe об исправлении oberon07 report на странице Вирта.
http://www.astrobe.com/forum/viewtopic.php?f=4&t=129&sid=ec3bd4370f6a4506ab10d01222b068df&start=10#p270