OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Вторник, 19 Март, 2024 10:11

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 234 ]  На страницу 1, 2, 3, 4, 5 ... 12  След.
Автор Сообщение
 Заголовок сообщения: Оберон-07
СообщениеДобавлено: Пятница, 17 Август, 2007 10:55 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8500
Откуда: Троицк, Москва
Вирт закончил ревизию Сообщения об Обероне (уточнения и упрощения).
Теперь это будет Оберон-07.
Окончательный текст есть, но разрешения на вывешивание пока нет.
Появится, конечно, на сайте ETH.

http://oberoncore.ru/wiki/lang/oberon-07


Последний раз редактировалось Евгений Темиргалеев Воскресенье, 22 Апрель, 2012 18:52, всего редактировалось 1 раз.
ссылка в энциклопедию


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Оберон-07
СообщениеДобавлено: Пятница, 17 Август, 2007 22:00 

Зарегистрирован: Воскресенье, 28 Май, 2006 22:12
Сообщения: 1693
info21 писал(а):
Теперь это будет Оберон-07.

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Оберон-07
СообщениеДобавлено: Пятница, 17 Август, 2007 22:08 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9459
Откуда: Россия, Орёл
Ага...
"Все мозги разбил на части,
Все извилины заплёл..."


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Оберон-07
СообщениеДобавлено: Суббота, 18 Август, 2007 01:48 

Зарегистрирован: Четверг, 12 Июль, 2007 23:18
Сообщения: 1982
Откуда: Узбекистан, Чирчик
Надеюсь, Вы известите о публикации окончательного документа? Действительно, любопытно...
Ещё бы русский перевод был. Ну да там, наверное, всего страниц 8 будет... :о))


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Оберон-07
СообщениеДобавлено: Понедельник, 20 Август, 2007 08:52 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8500
Откуда: Троицк, Москва
WHILE поднят до цикла Дейкстры:

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

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

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

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

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

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

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

+ мелочи.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Оберон-07
СообщениеДобавлено: Понедельник, 20 Август, 2007 09:48 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8500
Откуда: Троицк, Москва
Забыл добавить самое важное 8))

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Оберон-07
СообщениеДобавлено: Понедельник, 20 Август, 2007 10:10 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 18:55
Сообщения: 2272
Откуда: Россия, Нижний Новгород
Обычно Вирт разрабатывает язык и компилятор одновременно, причём пишет его на нём же самом. Можно ли надеятся, что компилятор языка Оберон-07 (написанный на себе самом) будет опубликован одновременно с сообщением о языке?


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Оберон-07
СообщениеДобавлено: Понедельник, 20 Август, 2007 13:29 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8500
Откуда: Троицк, Москва
Сергей Губанов писал(а):
Обычно Вирт разрабатывает язык и компилятор одновременно, причём пишет его на нём же самом. Можно ли надеятся, что компилятор языка Оберон-07 (написанный на себе самом) будет опубликован одновременно с сообщением о языке?


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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Оберон-07
СообщениеДобавлено: Понедельник, 20 Август, 2007 15:39 

Зарегистрирован: Понедельник, 19 Март, 2007 09:40
Сообщения: 142
Откуда: USA, Israel, Belarus
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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Оберон-07
СообщениеДобавлено: Понедельник, 20 Август, 2007 15:49 
Администратор

Зарегистрирован: Вторник, 15 Ноябрь, 2005 01:14
Сообщения: 4695
Откуда: Россия, Орёл
Ну так это то, о чём речь шла, или промежуточный результат? Вот в чём вопрос...

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Оберон-07
СообщениеДобавлено: Понедельник, 20 Август, 2007 15:59 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8500
Откуда: Троицк, Москва
slava писал(а):
The Programming Language Oberon. revised for Strong-ARM 1.1.2007 / 1.6.2007.


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

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Оберон-07
СообщениеДобавлено: Понедельник, 20 Август, 2007 16:03 
Администратор

Зарегистрирован: Вторник, 15 Ноябрь, 2005 01:14
Сообщения: 4695
Откуда: Россия, Орёл
info21 писал(а):
slava писал(а):
The Programming Language Oberon. revised for Strong-ARM 1.1.2007 / 1.6.2007.


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

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

Ясно. Ждём.

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Оберон-07
СообщениеДобавлено: Понедельник, 20 Август, 2007 21:04 

Зарегистрирован: Воскресенье, 28 Май, 2006 22:12
Сообщения: 1693
Борис Рюмшин писал(а):
Не знаю как на счёт массового применения, но в качестве стандарта на язык микроконтроллеров ...

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Оберон-07
СообщениеДобавлено: Понедельник, 20 Август, 2007 21:30 
Аватара пользователя

Зарегистрирован: Воскресенье, 08 Июль, 2007 00:38
Сообщения: 778
Откуда: Москва
Борис Рюмшин писал(а):
info21 писал(а):
slava писал(а):
The Programming Language Oberon. revised for Strong-ARM 1.1.2007 / 1.6.2007.


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

Черновик Оберона-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. Но это, я так понимаю, "не наши проблемы, а ваши". Прихожу к выводу, что внутри Оберон-технологии хороший компилятор и хорошая среда разработки важнее хорошего или просто свежего языка (если языки не слишком сильно отличаются).


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Оберон-07
СообщениеДобавлено: Понедельник, 20 Август, 2007 22:03 

Зарегистрирован: Воскресенье, 28 Май, 2006 22:12
Сообщения: 1693
Сергей Прохоренко писал(а):
Есть вполне определенные "вызовы" нынешнего времени

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Оберон-07
СообщениеДобавлено: Вторник, 21 Август, 2007 12:15 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8500
Откуда: Троицк, Москва
Сергей Прохоренко писал(а):
... Ну не могу поверить, что полный Oberon-2 невозможно реализовать для ARM.


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

Сергей Прохоренко писал(а):
... Чем не угодил цикл LOOP?

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

Сергей Прохоренко писал(а):
... И почему метки в операторе CASE должны быть целочисленными?

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

Сергей Прохоренко писал(а):
... И вообще, непонятно, какими принципиальными или, наоборот, узкопрактическими соображениями вызвана ревизия языка.

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

Сергей Прохоренко писал(а):
... Но это, я так понимаю, "не наши проблемы, а ваши".

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

Сергей Прохоренко писал(а):
... Прихожу к выводу, что внутри Оберон-технологии хороший компилятор и хорошая среда разработки важнее хорошего или просто свежего языка (если языки не слишком сильно отличаются).

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Оберон-07
СообщениеДобавлено: Вторник, 21 Август, 2007 14:23 
Аватара пользователя

Зарегистрирован: Воскресенье, 08 Июль, 2007 00:38
Сообщения: 778
Откуда: Москва
info21 писал(а):

Сергей Прохоренко писал(а):
... Чем не угодил цикл LOOP?

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


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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Оберон-07
СообщениеДобавлено: Вторник, 21 Август, 2007 14:27 
Аватара пользователя

Зарегистрирован: Воскресенье, 08 Июль, 2007 00:38
Сообщения: 778
Откуда: Москва
Владимир Лось писал(а):
Сергей Прохоренко писал(а):
Есть вполне определенные "вызовы" нынешнего времени

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


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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Оберон-07
СообщениеДобавлено: Вторник, 21 Август, 2007 21:22 

Зарегистрирован: Воскресенье, 28 Май, 2006 22:12
Сообщения: 1693
Сергей Прохоренко писал(а):
Под "вызовами" я имел в виду параллельные вычисления - это не относится к микроконтроллерам.

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

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

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

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Оберон-07
СообщениеДобавлено: Вторник, 21 Август, 2007 23:02 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9459
Откуда: Россия, Орёл
По поводу дейкстровского WHILE - во-первых, пора, пора :-), во-вторых - удобно (для конечных автоматов, например), в-третьих, LOOP наконец-то "идёт лесом" :-)

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


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 234 ]  На страницу 1, 2, 3, 4, 5 ... 12  След.

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 3


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2005-2024, участники конференции «OberonCore», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Без разрешения участников и ссылки на конференцию «OberonCore» любое воспроизведение и/или копирование высказываний полностью и/или по частям запрещено.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB