OberonCore

Опубликованы бета-версии (от 13.10.2008) инст. подсистемы ROCOT и консольного транслятора Рефала-0.

06.07.2011 модератор: удалена неработающая ссылка

07.07.2011 модератор: подсистема выложена в коллекции http://oberoncore.ru/bbcc/subs/rocot/

См. также: viewtopic.php?f=47&t=1275

Прочитал описание компонент на сайте.
Никак не пойму: а какие проекты можно реализовать с помощью этих компонент? Какие типы задач они решают?

Любые задачи, где надо парсить-преобразовывать строки.
Например, простейшая задача - какая-нибудь обработка путей в файловой системе. Не мучаетесь с циклами-индексами, пишете простые функции-трансформации и генерируете Оберон-процедуры из них.

Почитайте PDF.

Можно подробнее (по шагам) описать цикл решения этой задачи (обработка путей)?
1. Пишем разбор путей на Рефале. Т.е. имеем на входе текстовый файл.
2. ...
n. Имеем на входе путь, который надо обработать.
...
m. Получили результат (обработанный путь).

Далее: условия задачи поменялись
1. Меняем исходный текст на Рефале
...

1. Описываем некий алгоритм трансформации последовательности символов в другую последовательность. Возможно, вообще без трансформации, а просто анализа по шаблонам с вызовом внешних процедур (описанных на внешнем языке).
2. Транслируем в процедуры на целевом языке.
3. Помещаем процедуры на целевом языке в нужное окружение (как это делается с YACC-ами всякими). Компилируем.
4. Скармливаем главной процедуре массив символов, во второй массив она помещает нам результат (используя массивы в процессе работы как два стека). В принципе, тривиально (просто пока нужды не было) генерировать код, работающий не с массивами, а с потоками.

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

Мне неясна связь "текст на рефале" -> "результрующая программа (бинарник)". Точнее как она поддерживается. Применительно к BB.

Влад, ну Вы PDF-статью-то читали?

Просто генерируется из каждой Рефал-функции Оберон- или С-функция с опр. сигнатурой. Как и куда она дальше кладётся - дело хозяйское.

Я читал. Но не от корки до корки, а интересные моменты. Спасибо за стьатью, кастати. Интересно.



Я когда про DSL распространялся упоминал, что считаю безшовную интеграцию принципиально важным для успешного применения DSL. Ну получили вы исходник на выходе DSL, написали статью, классно. Но чтобы от всего этого получить отдачу на практике этого мало. Я хорошо представляю как в данном случае происходит интеграция в классических системах программирования. Заводится отдельный шаг сборки. Это не сильно страшно, но для "рабора путей" с этим никто не будет заморачиваться. Поэтому мне было бы интересно, что может предложить BB.

Страница 27 не оно?

А для меня именно это и стало поводом. Затрепало писать мелкие строковые алгоритмы руками (циклы с разными играми индексами и т.п.). Доказывать "по Дейкстре" их оказалось неудобно (громоздко).
Стал решать конкретную задачу, захотел написать Рефал-0 сам на себе, понял, что инструмент гораздо шире, чем задумывался.

Да, именно то, что я хотел.

Есть сомнения по поводу следующего генерируемого присваивания:
Процедура: RocotRefal0Back.GenProcess, ветка op: OutS:

Возможно правильным должно быть: out[r] := in[p];
Кто то может это подтвердить/опровергнуть?

Спасибо.

Вообще прикольная штука.

Да, это опечатка, спасибо. Исправлю и выложу новую версию.

Семантика инструкции строковой машины OutS описана в PDF-документе:


P.S. Опечатка коварная, т.к. если в качестве in и out используется один и тот же массив (а я делал в примерах именно так), то всё будет работать.

Опубликовал новую сборку пакета и консольного транслятора.
Бета-версия от 12.12.2008.

На сайте на днях пройдёт обновление...
Но пока ссылки даю здесь, а то "залежалось" уже.

06.07.2011 модератор: удалена неработающая ссылка

Очередная бета-версия. Исправлена одна ошибка при трансляции с применением предиката на символ, если символ в конце шаблона. Неверно рассчитывалось смещение от регистра АСМ, далее срабатывал ASSERT - "стопор ошибки" (и каждый раз не нарадуешься, что такие стопоры поставил когда-то ).

Лишь поверхностно прошёлся по документации Rocot, ибо для меня кратким обзором возможностей 60-страничный документ не является.

1. Чтобы людям было проще ознакомиться с возможностями Rocot, предлагаю создать презентацию (Ms Power Point / OpenOffice Impress), выкладывая на общее обозрение документ PDF с размером до 12 страниц. В ней должны быть простые диаграммы, блок-схемы, рисунки и меньше текста. Нужна зрительная информация. "Лучше один раз увидеть, чем сто раз услышать". На мой взгляд, количество текстовой информации в документации затрудняет восприятие доносимого ею сообщения.
   Документация же нужна для тех, кого презентация заинтересует и тот захочет ознакомится с Rocot плотнее.
2. Насколько я понял, Rocot можно сравнить с утилитой GNU awk, задачей которой является трансформация текста в соответствие с правилами, указанными командами особого скриптового языка. Только отличие в том, что мне удобнее использовать именно awk, потому что не нужно ничего компилировать. Я просто задам файл на входе и команды-скриптом, всё в одной строке консольной команды. А на выходе получу обработанный текст, а не Си-Оберон.
   Поэтому предлагаю вам создать (как минимум) консольную программу для обработки текстов. А лучже создать API-интерфейс к библиотеке для доступа внешними средствами (КП + классическими C, Delphi и т.д.), при помощи которых можно создавать GUI, использующих этот компонент.

Консольная программа имеется.
06.07.2011 модератор: удалена неработающая ссылка

В остальном - опубликовано на усмотрение желающих.. Как публичный продукт внутренних производственных процессов.

Никаких обязательств. И никакой рекламы тоже.

Не, видимо, имелась в виду не консольная программа-компилятор, выдающая код на Си или Обероне, а интерпретатор, сразу же выполняющий рефаловскую программу-скрипт...

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

добавлено:
На сегодняшний день для обработки текста практически повсеместно используется Perl благодаря его широким возможностям. Также gawk: чаще всего используют для околосистемных операций над текстовыми данными в различных скриптах.

добавлено+1:
Мне только не понятен один момент: какой смысл писать транслятор в языки Си и Оберон, если скрипты являются лишь снимком определённой задачи в некоторый момент времени?
Целью системы Рокот является трансляция в языки программирования для того, чтобы скомпилировать их в программы, выполняющие одну единственную задачу, требующую многократного исполнения? Мне что-то сложно представить для каких целей это может понадобиться. Ведь изо дня в день мы решаем какие-то конкретные задачи, одна непохожая на другую, или отличающуюся в деталях.
Часто приходится применять регулярные выражения, потому что задачи - разные. Вижу смысл только в решении высокопроизводительных задач на некоторые случаи. Иначе - чем хуже тот же Перл?

Для чего нужны генераторы сканеров и парсеров (Лексы-Флексы, Яки-Бизоны).