Это можо посмотреть, любые знания на пользу, но нам надо поближе к практике.
Еще эти примеры должны быть пропагандистскими. Это в традициях еще книги по базисному рефалу, которая в институте по строительству была выполнена, без авторов ни в начале, ни в конце.
Примеры - бенчмарки:
.- трансляция арифметических выражений, о чем говорил. Действительно, иллюстрация использования, как языка одного и другого. Скорость можно также измерить, зацикливанием. Так мы делали.
- операции с матрицами, плотными и разреженными. Это неожиданно, из-за претензий на то, чтобы рефал был системой команд будущего процессора. Я это использовал для того, чтобы понять, какой разрыв с обычными процессорами, получалось раз тридцать-сто, чем больше объемы данных, тем меньше разрыв, Сравнивал с программами на Си. Потом выяснить, что даст автоматичекое глубокое распараллеливание всех уровней, Надо вытянуть разрыв предположительно в одном кристалле и прорваться дальше в мультипроцессорной системе, так и по другим примерам.
- операции с графами, это обычный набор - кратчайшие пути, BWS, BWC, рвскраска графа ...Тут в перспективе хороши бы элементы американского языка AMBIT
- можно действия с полиномами
- хорошо бы какую-то переборную задачу, шикарно бы смотрелась SAT-проблема, можно было бы и динамическое программирование, актуально
Это я на выбор, м.б. кто-то еще придумает. Символьной обработкой не ограничиваться, поскольку это исследования по не фон-Неймановскому процессору. Примеры должны быть короткие, как говорил, страница-две.
Андрей Валентинович, это направление 5.1 из тех, что вчера обсуждали.
Л.Эйсымонт
15.02.2019, 00:08, "Anton Korzh anton_AT_korzh.ru" <refal@botik.ru>:
Привет,а почему бы не использовать что-либо существующие методики например https://github.com/trizen/language-benchmarksДобавить туда рефал-{2,5,6,+,java} было бы здорово. Хорошая курсовая была бы кстати если у кого есть студенты. да и все примеры там довольно короткиену и всегда разумно поглядеть на какой еще prior art (на вскидку народ делал сортировку и есть еще несколько статей из 90х)АнтонOn Feb 14, 2019, at 8:46 AM, Arkady Klimov arkady.klimov_AT_gmail.com <refal@botik.ru> wrote:Леонид, а на какой предмет мы хотим тут сравнивать? Просто как пишется, визуально? Или по эффективности выполнения? Если второе, то не слишком ли мелкий пример? Надо бы, как сейчас говорят, нагруженное приложение-вычисление предлагать. Чтобы и времени и памяти надо было много (а не просто линейно от размера входа, как в данном примере). При том, чтобы программа, конечно была короткой, на страницу. Есть такой пример? В численке это, например, умножение матриц, или решение СЛАУ (N^3 против N^2). А у нас?Аркадийчт, 14 февр. 2019 г. в 12:46, Eisymont Leonid verger-lk_AT_yandex.ru <refal@botik.ru>:Переменные есть, числа можно взять целые и вещественные. Можно упростить, на вход поступают только правильные арифметические выражения. Программа должна быть короткой, на страницу. У меня такая программа на рефале-2 была, постараюсь переслать.14.02.2019, 12:40, "Александр Коновалов a.v.konovalov87_AT_mail.ru" <refal@botik.ru>:Добрый день, Леонид!
Спасибо за хорошую идею. Постараюсь в выходные написать простейший подобный компилятор.
Стоит уточнить задачу: есть ли переменные, какие знаки операций поддерживаются, на сколько подробными должны быть сообщения об ошибках, должен ли компилятор восстанавливаться…
С уважением,
Александр Коновалов
From: Eisymont Leonid verger-lk_AT_yandex.ru <refal@botik.ru>
Sent: Thursday, February 14, 2019 12:33 PM
To: refal@botik.ru
Subject: Re: Сравнение веток Рефала
Будет действительно весело. А делать надо, дождались. Рекомендую взять какой - нибудь пример и на нем это сравнивать. Иначе будет пустой болтовней. А вот какой пример - пока не соображу, м.б. перевод арифметических выражений в линеаризованную польскую запись, например, в триады? Но этот перевод должен начинаться с лексического анализа со спариванием скобок. Обычно перевод в польскую запись хорошо воспринимался на лекциях по рефалу. Кстати, рефал-2 рассказывался обычно за десять-пятнадцать минут, даже чиновникам и генералам. Сколько потребуется времени на рассказ о "коллапсирующих джунглях" подумать страшно. Вот она жизнь и заскорузлая практика.Л.Эйсымонт
14.02.2019, 11:57, "Александр Коновалов a.v.konovalov87_AT_mail.ru" <refal@botik.ru>:Добрый день, Александр!
К сожалению, обзора разных диалектов Рефала я нигде не встречал. Диалекты и реализации Рефала не совсем корректно называть «ветками» или «версиями», они разрабатывались независимо, общей кодовой базы, на сколько я знаю, не имеют, имеют разный синтаксис, построены на разных принципах и идеологиях (особенно, Рефал Плюс).
Сам я его могу написать, но, наверное, не сегодня. И, если напишу, то он будет неизбежно субъективным. Но обсудить будет весело.
В выходные тогда напишу, если никто не напишет раньше меня.
С уважением,
Александр Коновалов
From: Александр Гусев gusev_aleksandr_AT_mail.ru <refal@botik.ru>
Sent: Thursday, February 14, 2019 9:59 AM
To: ref...@botik.ru
Subject: Re[4]: Немного статистики
Спасибо, Аркадий!
А существует где-то краткая информация по сравнению веток рефала? Статья, может быть какая-то.
А то есть рефал-2, рефапл-5, рефал-6 и рефал-плюс - это только те, что поименованы.
У каждой версии свои сторонники и блюстители. Или всё-таки придётся в каждую вникать?
Среда, 13 февраля 2019, 20:41 +03:00 от Arkady Klimov arkady.klimov_AT_gmail.com <refal@botik.ru>:
Здравствуйте, Александр!Прошу прощения за некоторую задержку, пришлось немного повозиться, приводя в порядок версию дистрибуции. В принципе, есть все на сайте refal.net, но сильно старое, с тех пор довольно много было правок. Вот та страничка:Документацию (описание языка) смотрите там, в ней ничего нового.А дистрибутив пока у меня в дропбоксе возьмите:Как и раньше, инструкция в help/readme.txt.Главное - распакуйте в папку ...ref6, пропишите ее в PATH и откорректируйте путь в ri.bat соответственно.Затем вызовите test/hello.bat.В ближайшее время надеюсь переправить его на сайт, а также обновлю архивы исходников там.Рефал-часть почти не изменилась с тех пор, а вот С-часть обновилась существенно.Спрашивайте, не стесняйтесь, если будут проблемы.С уважением,Аркадий Климов
пт, 8 февр. 2019 г. в 23:43, Александр Гусев gusev_aleksandr_AT_mail.ru <refal@botik.ru>:Аркадий, Спасибо за ответ!
Да, я читал переписку, не до самых глубин, конечно.
Пока прошу актуальную ссылку на Рефал-6 - почитать и хоть что-то попробовать, если возможно. Вроде Hello, world на трёх языках.
То, что я имел ввиду о музыке, это тоже формульные вычисления, конечно.Возможно, но наверно уже на "символьном уровне", до которого еще надо входной сигнал поднять.
--_______________С уважением,Аркадий Климов,
с.н.с. ИППМ РАН,
+7(499)135-32-95
+7(916)072-81-48
--_______________С уважением,Аркадий Климов,
с.н.с. ИППМ РАН,
+7(499)135-32-95
+7(916)072-81-48
_______________
С уважением,
Аркадий Климов,с.н.с. ИППМ РАН,
+7(499)135-32-95
+7(916)072-81-48
