OberonCore
https://forum.oberoncore.ru/

Оберон-07
https://forum.oberoncore.ru/viewtopic.php?f=115&t=615
Страница 9 из 12

Автор:  bohdant [ Пятница, 31 Октябрь, 2008 14:30 ]
Заголовок сообщения:  Re: Оберон-07

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

Автор:  Сергей Прохоренко [ Воскресенье, 06 Декабрь, 2009 21:44 ]
Заголовок сообщения:  Re: Оберон-07

Две новых ссылки на сайт 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

Автор:  А.П. [ Пятница, 05 Февраль, 2010 07:50 ]
Заголовок сообщения:  Re: Оберон-07

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

Автор:  Trurl [ Пятница, 05 Февраль, 2010 09:09 ]
Заголовок сообщения:  Re: Оберон-07

Цитата:
Как отмечают в компании, отсутствие заводов в России – основное преимущество ГК «Элекард».

:D

Автор:  Rifat [ Пятница, 17 Сентябрь, 2010 16:30 ]
Заголовок сообщения:  Re: Оберон-07

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

Автор:  Info21 [ Вторник, 13 Сентябрь, 2011 18:08 ]
Заголовок сообщения:  исправленная версия Сообщения

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

Автор:  Евгений Темиргалеев [ Вторник, 13 Сентябрь, 2011 21:29 ]
Заголовок сообщения:  Re: Оберон-07

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

Автор:  Info21 [ Вторник, 13 Сентябрь, 2011 22:09 ]
Заголовок сообщения:  Re: Оберон-07

Rifat писал(а):
Как известно в Oberon-07 нет динамических массивов. Если все-таки динамический массив понадобится, можно ли будет его как-нибудь эмулировать? ...
Вопрос не вполне ясен.

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

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

Автор:  Евгений Темиргалеев [ Вторник, 13 Сентябрь, 2011 22:14 ]
Заголовок сообщения:  Re: Оберон-07

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

Автор:  Info21 [ Вторник, 13 Сентябрь, 2011 22:40 ]
Заголовок сообщения:  Re: Оберон-07

Евгений Темиргалеев писал(а):
Info21 писал(а):
Тогда внутри процедуры будут в наличии -- кроме обрабатываемого массива a -- еще два вспомогательных массива такой же длины.
Они при этом будут содержать копии a, но это уже детали в данном случае.
В ревизии 2011 года это дело, похоже, не пройдёт...
Не может быть.

Автор:  Евгений Темиргалеев [ Среда, 14 Сентябрь, 2011 00:09 ]
Заголовок сообщения:  Re: Оберон-07

Info21 писал(а):
Евгений Темиргалеев писал(а):
Info21 писал(а):
Тогда внутри процедуры будут в наличии -- кроме обрабатываемого массива a -- еще два вспомогательных массива такой же длины.
Они при этом будут содержать копии a, но это уже детали в данном случае.
В ревизии 2011 года это дело, похоже, не пройдёт...
Не может быть.
http://www.inf.ethz.ch/personal/wirth/A ... eron07.pdf
Цитата:
5. Parameters
In Oberon, there are two kinds of parameters: Value and variable parameters. In the latter case
the formal parameter is considered as a local variable, and the actual parameter’s value is
assigned to it. This implies making a copy of that value, which is undesirable in the case of
structured types. In order to avoid the necessity of copying, we postulate that if a value parameter
is if a structured type, no assignments are possible.
Hence, the parameter can be passed by a
reference like in the case of VAR parameters.
?

Автор:  Илья Ермаков [ Среда, 14 Сентябрь, 2011 11:34 ]
Заголовок сообщения:  Re: Оберон-07

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

Автор:  Info21 [ Среда, 14 Сентябрь, 2011 11:39 ]
Заголовок сообщения:  Re: Оберон-07

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

Автор:  Сергей Губанов [ Среда, 14 Сентябрь, 2011 11:52 ]
Заголовок сообщения:  Re: Оберон-07

Илья Ермаков писал(а):
Но почему CAN BE PASSED - не MUST?
Никто не обязывает передавать в процедуру структурные переменные, но если хочешь, то можешь передать их по ссылке.

Автор:  kemiisto [ Среда, 14 Сентябрь, 2011 12:08 ]
Заголовок сообщения:  Re: Оберон-07

Цитата:
In Oberon, there are two kinds of parameters: Value and variable parameters. In the latter case

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

Автор:  Евгений Темиргалеев [ Среда, 14 Сентябрь, 2011 13:19 ]
Заголовок сообщения:  Re: Оберон-07

По-моему, там сказано в виде пояснения к сообщению о языке: запрещаем присваивания фактическим параметрам структурных типов с целью задействования передачи по ссылке (без копирования) для всех параметров структурного типа.
Language Report писал(а):
10.1. Formal parameters
Formal parameters are identifiers which denote actual parameters specified in the procedure call. The correspondence between formal and actual parameters is established when the procedure is called. There are two kinds of parameters, namely value and variable parameters. A variable parameter corresponds to an actual parameter that is a variable, and it stands for that variable. A value parameter corresponds to an actual parameter that is an expression, and it stands for its value, which cannot be changed by assignment. However, if a value parameter is of a scalar type, it represents a local variable to which the value of the actual expression is initially assigned.
В сообщении просто "ставят перед фактом": сначала говорится про невозможность менять значение фактического параметра-значения (выражения) вообще. Затем делается оговорка про скалярные типы, для которых параметр-значение представляется проинициализированной локальной переменной (которую, поэтому, можно менять).

Автор:  Евгений Темиргалеев [ Среда, 14 Сентябрь, 2011 13:38 ]
Заголовок сообщения:  Re: Оберон-07

Info21 писал(а):
Rifat писал(а):
Как известно в Oberon-07 нет динамических массивов. Если все-таки динамический массив понадобится, можно ли будет его как-нибудь эмулировать? ...
Вопрос не вполне ясен.

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

Тогда внутри процедуры будут в наличии -- кроме обрабатываемого массива a -- еще два вспомогательных массива такой же длины.
Они при этом будут содержать копии a, но это уже детали в данном случае.
Здесь вспомогательные массивы размещаются автоматически при вызове процедуры (с копированием 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);

Автор:  albobin [ Среда, 14 Сентябрь, 2011 14:01 ]
Заголовок сообщения:  Re: Оберон-07

http://www.astrobe.com/forum/viewtopic.php?f=4&t=129&sid=bce79a3c2e4b9a15833cd98df4187ac1#p250

Автор:  Евгений Темиргалеев [ Пятница, 16 Сентябрь, 2011 08:36 ]
Заголовок сообщения:  Re: Оберон-07

К вопросу об оптимальном минимуме: Comparative reliability of C and Oberon-07
Цитата:
I attempted to get some measure of the comparative reliability of C and Oberon-07 when used for embedded software development by taking the 142 rules of the MISRA-C:2004 "Guidelines for the use of the C language in critical systems" and applying them to Oberon-07. I discovered that more than 70% of the rules are not required when programming in Oberon-07. They are either already enforced by the language or are not applicable.

Автор:  albobin [ Суббота, 17 Сентябрь, 2011 20:52 ]
Заголовок сообщения:  Re: Оберон-07

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

Страница 9 из 12 Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/