Забыл добавить самое важное
)Теперь в Обероне INTEGER явно объявлен как 32-битовый, а SHORTINT и LONGINT исключены совсем (что, считаю, правильно для "общего знаменателя").
| OberonCore https://forum.oberoncore.ru/ |
|
| Оберон-07 https://forum.oberoncore.ru/viewtopic.php?f=115&t=615 |
Страница 1 из 12 |
| Автор: | Info21 [ Пятница, 17 Август, 2007 10:55 ] |
| Заголовок сообщения: | Оберон-07 |
Вирт закончил ревизию Сообщения об Обероне (уточнения и упрощения). Теперь это будет Оберон-07. Окончательный текст есть, но разрешения на вывешивание пока нет. Появится, конечно, на сайте ETH. http://oberoncore.ru/wiki/lang/oberon-07 |
|
| Автор: | Wlad [ Пятница, 17 Август, 2007 22:00 ] |
| Заголовок сообщения: | Re: Оберон-07 |
info21 писал(а): Теперь это будет Оберон-07. А ЧТО это будет? Это описание чего-то из того, что известно или ПЕРЕСМОТРЕННЫЙ язык - считай, что новый? ЗЫ Тока усиленное слюнотечение сообщением вызвали... :о) |
|
| Автор: | Илья Ермаков [ Пятница, 17 Август, 2007 22:08 ] |
| Заголовок сообщения: | Re: Оберон-07 |
Ага... "Все мозги разбил на части, Все извилины заплёл..." |
|
| Автор: | Geniepro [ Суббота, 18 Август, 2007 01:48 ] |
| Заголовок сообщения: | Re: Оберон-07 |
Надеюсь, Вы известите о публикации окончательного документа? Действительно, любопытно... Ещё бы русский перевод был. Ну да там, наверное, всего страниц 8 будет... :о)) |
|
| Автор: | Info21 [ Понедельник, 20 Август, 2007 08:52 ] |
| Заголовок сообщения: | Re: Оберон-07 |
WHILE поднят до цикла Дейкстры: WHILE ... DO ... ELSIF ... DO ... END Зато исключен LOOP. Ограничен CASE (только целые, причем подряд). Только один RETURN (теперь это синтаксически часть закрывающей строки тела функции). Больше нет передачи структурированных типов по значению, но есть CONST (аналог IN в КП). POINTER теперь только на записи. В классич. Обероне это нормально, т.к. динамических массивов там все равно не было. Но для инж.-научных задач это жмет, конечно. + вроде как процедурный тип для обработки прерываний. + мелочи. |
|
| Автор: | Info21 [ Понедельник, 20 Август, 2007 09:48 ] |
| Заголовок сообщения: | Re: Оберон-07 |
Забыл добавить самое важное )Теперь в Обероне INTEGER явно объявлен как 32-битовый, а SHORTINT и LONGINT исключены совсем (что, считаю, правильно для "общего знаменателя"). |
|
| Автор: | Сергей Губанов [ Понедельник, 20 Август, 2007 10:10 ] |
| Заголовок сообщения: | Re: Оберон-07 |
Обычно Вирт разрабатывает язык и компилятор одновременно, причём пишет его на нём же самом. Можно ли надеятся, что компилятор языка Оберон-07 (написанный на себе самом) будет опубликован одновременно с сообщением о языке? |
|
| Автор: | Info21 [ Понедельник, 20 Август, 2007 13:29 ] |
| Заголовок сообщения: | Re: Оберон-07 |
Сергей Губанов писал(а): Обычно Вирт разрабатывает язык и компилятор одновременно, причём пишет его на нём же самом. Можно ли надеятся, что компилятор языка Оберон-07 (написанный на себе самом) будет опубликован одновременно с сообщением о языке? Сергей Юрьевич, Вы попали в точку: Вирт действительно возился с компилятором для ARM, и Оберон-07 -- плод того усилия. Будет ли компилятор опубликован -- неизвестно. |
|
| Автор: | slava [ Понедельник, 20 Август, 2007 15:39 ] |
| Заголовок сообщения: | Re: Оберон-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 |
|
| Автор: | Борис Рюмшин [ Понедельник, 20 Август, 2007 15:49 ] |
| Заголовок сообщения: | Re: Оберон-07 |
Ну так это то, о чём речь шла, или промежуточный результат? Вот в чём вопрос... Да, кстати, если эта ревизия именно под Strong ARM, то не стоит нам считать его новым стандартом Оберона, вам так не кажется? |
|
| Автор: | Info21 [ Понедельник, 20 Август, 2007 15:59 ] |
| Заголовок сообщения: | Re: Оберон-07 |
slava писал(а): The Programming Language Oberon. revised for Strong-ARM 1.1.2007 / 1.6.2007. Это промежуточные варианты. Черновик Оберона-07 с просьбой дать замечания разослан 30 июля с.г., окончательный (как утверждалось) текст разослан 8 августа с.г. |
|
| Автор: | Борис Рюмшин [ Понедельник, 20 Август, 2007 16:03 ] |
| Заголовок сообщения: | Re: Оберон-07 |
info21 писал(а): slava писал(а): The Programming Language Oberon. revised for Strong-ARM 1.1.2007 / 1.6.2007. Это промежуточные варианты. Черновик Оберона-07 с просьбой дать замечания разослан 30 июля с.г., окончательный (как утверждалось) текст разослан 8 августа с.г. Ясно. Ждём. Не знаю как на счёт массового применения, но в качестве стандарта на язык микроконтроллеров (вот ещё бы кто компилятор со сменными боеголовками написал  ) - вполне.
|
|
| Автор: | Wlad [ Понедельник, 20 Август, 2007 21:04 ] |
| Заголовок сообщения: | Re: Оберон-07 |
Борис Рюмшин писал(а): Не знаю как на счёт массового применения, но в качестве стандарта на язык микроконтроллеров ... Верной дорогой идёте, товарищи! Долгих лет жизни мэтру! Творит не смотря ни на что! И надо внимательно смотреть куда весь "градиент" его творчества направлен! "Это жжжжж - не спроста!..." :о) |
|
| Автор: | Сергей Прохоренко [ Понедельник, 20 Август, 2007 21:30 ] |
| Заголовок сообщения: | Re: Оберон-07 |
Борис Рюмшин писал(а): 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. Но это, я так понимаю, "не наши проблемы, а ваши". Прихожу к выводу, что внутри Оберон-технологии хороший компилятор и хорошая среда разработки важнее хорошего или просто свежего языка (если языки не слишком сильно отличаются). |
|
| Автор: | Wlad [ Понедельник, 20 Август, 2007 22:03 ] |
| Заголовок сообщения: | Re: Оберон-07 |
Сергей Прохоренко писал(а): Есть вполне определенные "вызовы" нынешнего времени Извините, Сергей, а насколько близко вы знакомы с "вызовами" и "спецификой" мира микроконтроллерных применений, встроенных управляющих систем и систем реального времени? |
|
| Автор: | Info21 [ Вторник, 21 Август, 2007 12:15 ] |
| Заголовок сообщения: | Re: Оберон-07 |
Сергей Прохоренко писал(а): ... Ну не могу поверить, что полный Oberon-2 невозможно реализовать для ARM. Trurl уже замечал, что изменения в КП по сравнению с О2 были вынужденными -- чтобы закрыть дыры, открытые в О2 и которых не было в классическом О. Вирт просто не хочет включать в Оберон (=общий делитель) ничего сложного и недостаточно (на его, разумеется, вкус) проверенного. Думаю, это вполне здоровый консерватизм -- ни к чему не обязывающий ни его как ученого (а другую роль он на себя и не берет), ни нас как пользователей. Сергей Прохоренко писал(а): ... Чем не угодил цикл LOOP? Тем же, чем и GOTO. Сергей Прохоренко писал(а): ... И почему метки в операторе CASE должны быть целочисленными? Это как раз легко объясняется -- дождемся его комментариев насчет изменений (это отдельный короткий текст). Сергей Прохоренко писал(а): ... И вообще, непонятно, какими принципиальными или, наоборот, узкопрактическими соображениями вызвана ревизия языка. Ревизия вызвана поводом, позволяющим подсуммировать какой-то накопившийся опыт. Разве включение (наконец-то!!!) дейкстровского WHILE (1972!!!) не назрела? Сергей Прохоренко писал(а): ... Но это, я так понимаю, "не наши проблемы, а ваши". Повторю наблюдение, что Вирт просто (и вполне искренно) ведет себя как ученый, никому ничем не обязанный -- кроме своей научной миссии, разумеется. Сергей Прохоренко писал(а): ... Прихожу к выводу, что внутри Оберон-технологии хороший компилятор и хорошая среда разработки важнее хорошего или просто свежего языка (если языки не слишком сильно отличаются). Вывод правильный в том смысле, что идти винтом из-за Оберона-07 не следует, хотя внимательно, без поспешного критиканства, на него смотреть нужно. |
|
| Автор: | Сергей Прохоренко [ Вторник, 21 Август, 2007 14:23 ] |
| Заголовок сообщения: | Re: Оберон-07 |
info21 писал(а): Сергей Прохоренко писал(а): ... Чем не угодил цикл LOOP? Тем же, чем и GOTO. Наверное, Вы правы. Я этот цикл не использовал. |
|
| Автор: | Сергей Прохоренко [ Вторник, 21 Август, 2007 14:27 ] |
| Заголовок сообщения: | Re: Оберон-07 |
Владимир Лось писал(а): Сергей Прохоренко писал(а): Есть вполне определенные "вызовы" нынешнего времени Извините, Сергей, а насколько близко вы знакомы с "вызовами" и "спецификой" мира микроконтроллерных применений, встроенных управляющих систем и систем реального времени? Под "вызовами" я имел в виду параллельные вычисления - это не относится к микроконтроллерам. Сам просто изучаю "специфику мира микроконтроллерных применений, встроенных управляющих систем и систем реального времени" - как будущий потребитель/заказчик. |
|
| Автор: | Wlad [ Вторник, 21 Август, 2007 21:22 ] |
| Заголовок сообщения: | Re: Оберон-07 |
Сергей Прохоренко писал(а): Под "вызовами" я имел в виду параллельные вычисления - это не относится к микроконтроллерам. КТО ЭТО ВАМ СКАЗАЛ???!!! Вот сейчас, в простом проекте мне нужно сугубо параллельно работать и с отображением алфавитно-цифровой информации на индикаторах, и от клавиатуры нажатия ловить (причём, без прерываний, а только методом динамического-опроса-сканирования матрицы контактов), и с флэшкой работать (эмулируя и поддерживая фат16), и лить информацию по параллельному каналу, и ещё следить за кучей параметров (от отслеживания напряжения на акк.батарее и до температуры в корпусе) и большинство из них, так же, вынужденно опрашивается а не по прерываниям... И мне бы очень пригодился формализм описания всего этого хозяйства, как взаимодействующих и выполняющихся параллельно сущностей! Сейчас я это дело через PROTOTHREADS реализую (немного модифицировав и используя не всегда с теми рекомендациями, что дал автор :о) ). Отлажу и сдам первый вариант - перепишу всё на Аде для AVR (+ AvrX-среду исполнения). И будет мне счастя! И, потом, ну не зря же Мур именно ТАКУЮ архитектуоу для SEAforth-а воплотил - 24 ядра работающих в истинном параллельном режиме! И позиционирует свё изделие именно для мира, где традиционно работают микроконтроллеры. :о) Сергей Прохоренко писал(а): Сам просто изучаю "специфику мира микроконтроллерных применений, встроенных управляющих систем и систем реального времени" - как будущий потребитель/заказчик. Изучайте! Полезно! :о) А когда ещё и работать начинаешь в этой части отрасли - отрезвляет "почищефаустагётте" :о) Мне так кажется, не зря и Вирт львиную долю своих работ именно этой тематике (встроенные и управляющие системы) посвятил: здесь суровая "сермяжная правда жизни", без наносной шелухи с украшательствами... |
|
| Автор: | Илья Ермаков [ Вторник, 21 Август, 2007 23:02 ] |
| Заголовок сообщения: | Re: Оберон-07 |
По поводу дейкстровского WHILE - во-первых, пора, пора , во-вторых - удобно (для конечных автоматов, например), в-третьих, LOOP наконец-то "идёт лесом" По поводу параллельности - исконный Оберон, можно сказать, готов к массовому параллелизму гораздо больше, чем любые другие императивные языки (в том числе и больше, чем Активный Оберон, который не к добру и не подумамши "заООПизировали"). В частности, потому, что это самый "экстракт" абстрактного императива, без всякой привязки к модели выполнения (например, легко представить реализацию Оберона в отрыве от одностековой архитектуры). То, что при этой полной абстрактности от модели выполнения удаётся сохранять полную прозрачность того, во что оттранслируется каждая конструкция - вообще поразительно... |
|
| Страница 1 из 12 | Часовой пояс: UTC + 3 часа |
| Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |
|