OberonCore

Текущее время: Пятница, 30 Июль, 2010 03:23

Часовой пояс: UTC + 3 часа [ Летнее время ]




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

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


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

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

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


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

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


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

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


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

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

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

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

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

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

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

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

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

+ мелочи.


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

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

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


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

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


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

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


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


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

Зарегистрирован: Понедельник, 19 Март, 2007 10:40
Сообщения: 139
Откуда: 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 16:49 
Администратор
Аватара пользователя

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

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


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

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


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

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


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

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


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

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

Ясно. Ждём.

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


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

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

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


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

Зарегистрирован: Воскресенье, 08 Июль, 2007 01:38
Сообщения: 359
Откуда: Москва
Борис Рюмшин писал(а):
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 23:03 

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

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


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

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


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

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

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

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

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

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

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

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

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

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

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


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

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

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

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


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


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

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

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


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


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

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

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

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

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

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


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

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

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


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

Часовой пояс: UTC + 3 часа [ Летнее время ]


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

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


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

Найти:
cron
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
Русская поддержка phpBB