OberonCore

Вирт закончил ревизию Сообщения об Обероне (уточнения и упрощения).
Теперь это будет Оберон-07.
Окончательный текст есть, но разрешения на вывешивание пока нет.
Появится, конечно, на сайте ETH.

А ЧТО это будет?
Это описание чего-то из того, что известно или ПЕРЕСМОТРЕННЫЙ язык - считай, что новый?
ЗЫ Тока усиленное слюнотечение сообщением вызвали... :о)

Ага...
"Все мозги разбил на части,
Все извилины заплёл..."

Надеюсь, Вы известите о публикации окончательного документа? Действительно, любопытно...
Ещё бы русский перевод был. Ну да там, наверное, всего страниц 8 будет... :о))

WHILE поднят до цикла Дейкстры:

WHILE ... DO
...
ELSIF ... DO
...
END

Зато исключен LOOP.

Ограничен CASE (только целые, причем подряд).

Только один RETURN (теперь это синтаксически часть закрывающей строки тела функции).

Больше нет передачи структурированных типов по значению, но есть CONST (аналог IN в КП).

POINTER теперь только на записи. В классич. Обероне это нормально, т.к. динамических массивов там все равно не было. Но для инж.-научных задач это жмет, конечно.

+ вроде как процедурный тип для обработки прерываний.

+ мелочи.

Забыл добавить самое важное )

Теперь в Обероне INTEGER явно объявлен как 32-битовый, а SHORTINT и LONGINT исключены совсем (что, считаю, правильно для "общего знаменателя").

Обычно Вирт разрабатывает язык и компилятор одновременно, причём пишет его на нём же самом. Можно ли надеятся, что компилятор языка Оберон-07 (написанный на себе самом) будет опубликован одновременно с сообщением о языке?

Сергей Юрьевич, Вы попали в точку: Вирт действительно возился с компилятором для ARM, и Оберон-07 -- плод того усилия. Будет ли компилятор опубликован -- неизвестно.

An Oberon Compiler for the ARM Processor. May 2007.
http://www.cs.inf.ethz.ch/~wirth/Articl ... Report.pdf

The Programming Language Oberon. revised for Strong-ARM 1.1.2007 / 1.6.2007.
http://www.cs.inf.ethz.ch/~wirth/Articl ... mpiler.pdf

Ну так это то, о чём речь шла, или промежуточный результат? Вот в чём вопрос...

Да, кстати, если эта ревизия именно под Strong ARM, то не стоит нам считать его новым стандартом Оберона, вам так не кажется?

Это промежуточные варианты.

Черновик Оберона-07 с просьбой дать замечания разослан 30 июля с.г., окончательный (как утверждалось) текст разослан 8 августа с.г.

Ясно. Ждём.

Не знаю как на счёт массового применения, но в качестве стандарта на язык микроконтроллеров (вот ещё бы кто компилятор со сменными боеголовками написал ) - вполне.

Верной дорогой идёте, товарищи!
Долгих лет жизни мэтру!
Творит не смотря ни на что! И надо внимательно смотреть куда весь "градиент" его творчества направлен! "Это жжжжж - не спроста!..." :о)

Чем же провинились микроконтроллеры, что их надо изолировать от общества? Ведь многие из них имеют довольно большую вычислительную мощность.

Я уже давно смотрел на этот документ http://www.cs.inf.ethz.ch/~wirth/Articles/OberonSAReport.pdf и пытался понять причины ревизии языка. Ну не могу поверить, что полный Oberon-2 невозможно реализовать для ARM. Чем не угодил цикл LOOP? И почему метки в операторе CASE должны быть целочисленными? Почему на язык нагружается столько прибамбасов (пардон), направленных на увеличение скорости работы программы на микроконтроллере, вместо того, чтобы поручить все эти неочевидные низкоуровневые вещи кросс-компилятору? И вообще, непонятно, какими принципиальными или, наоборот, узкопрактическими соображениями вызвана ревизия языка. Есть вполне определенные "вызовы" нынешнего времени (простите мне этот американизм), на которые нынешний Oberon-2 не отвечает, но ведь и Oberon-07 тоже! Зачем же тогда нужна эта промежуточная версия? Если переход на новую версию не обусловлен важными принципиальными соображениями, то можно было бы подсластить пилюлю, сделав компилятор из Oberon-2 в Oberon-07. Но это, я так понимаю, "не наши проблемы, а ваши". Прихожу к выводу, что внутри Оберон-технологии хороший компилятор и хорошая среда разработки важнее хорошего или просто свежего языка (если языки не слишком сильно отличаются).

Извините, Сергей, а насколько близко вы знакомы с "вызовами" и "спецификой" мира микроконтроллерных применений, встроенных управляющих систем и систем реального времени?

Trurl уже замечал, что изменения в КП по сравнению с О2 были вынужденными -- чтобы закрыть дыры, открытые в О2 и которых не было в классическом О.
Вирт просто не хочет включать в Оберон (=общий делитель) ничего сложного и недостаточно (на его, разумеется, вкус) проверенного.
Думаю, это вполне здоровый консерватизм -- ни к чему не обязывающий ни его как ученого (а другую роль он на себя и не берет), ни нас как пользователей.


Тем же, чем и GOTO.


Это как раз легко объясняется -- дождемся его комментариев насчет изменений (это отдельный короткий текст).


Ревизия вызвана поводом, позволяющим подсуммировать какой-то накопившийся опыт. Разве включение (наконец-то!!!) дейкстровского WHILE (1972!!!) не назрела?


Повторю наблюдение, что Вирт просто (и вполне искренно) ведет себя как ученый, никому ничем не обязанный -- кроме своей научной миссии, разумеется.


Вывод правильный в том смысле, что идти винтом из-за Оберона-07 не следует, хотя внимательно, без поспешного критиканства, на него смотреть нужно.

Наверное, Вы правы. Я этот цикл не использовал.

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

КТО ЭТО ВАМ СКАЗАЛ???!!!
Вот сейчас, в простом проекте мне нужно сугубо параллельно работать и с отображением алфавитно-цифровой информации на индикаторах, и от клавиатуры нажатия ловить (причём, без прерываний, а только методом динамического-опроса-сканирования матрицы контактов), и с флэшкой работать (эмулируя и поддерживая фат16), и лить информацию по параллельному каналу, и ещё следить за кучей параметров (от отслеживания напряжения на акк.батарее и до температуры в корпусе) и большинство из них, так же, вынужденно опрашивается а не по прерываниям...
И мне бы очень пригодился формализм описания всего этого хозяйства, как взаимодействующих и выполняющихся параллельно сущностей!
Сейчас я это дело через PROTOTHREADS реализую (немного модифицировав и используя не всегда с теми рекомендациями, что дал автор :о) ). Отлажу и сдам первый вариант - перепишу всё на Аде для AVR (+ AvrX-среду исполнения).
И будет мне счастя!

И, потом, ну не зря же Мур именно ТАКУЮ архитектуоу для SEAforth-а воплотил - 24 ядра работающих в истинном параллельном режиме! И позиционирует свё изделие именно для мира, где традиционно работают микроконтроллеры. :о)


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

По поводу дейкстровского WHILE - во-первых, пора, пора , во-вторых - удобно (для конечных автоматов, например), в-третьих, LOOP наконец-то "идёт лесом"

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