t;Sent: Tuesday, January 19, 2021 12:33 PM
>To: refal@botik.ru
>Subject: Re[2]: Сравнение веток Рефала
>
>Добрый день, коллеги!
>
>Высылаю обещанную аннотацию моей разработки по Рефалу.
>По требованию — дополню.
>С уважением,
>Александр Гусев
>gusev_aleksa...@mail.ru
>
С уважением,
Александр Гусев
gusev_aleksa...@mail.ru
Коновалов
From: Александр Гусев gusev_aleksandr_AT_mail.ru [mailto:refal@botik.ru]
Sent: Tuesday, January 19, 2021 12:33 PM
To: refal@botik.ru
Subject: Re[2]: Сравнение веток Рефала
Добрый день, коллеги!
Высылаю обещанную аннотацию моей разработки по Рефалу.
По требованию — дополню.
С
Александр, спасибо,
однако я пока не уверен, что понимаю, что это за штука такая. Не могли бы
Вы еще добавить в Ваш док небольшое описание возможных сценариев
использования, от начинающих изучать рефал до каких-то продвинутых
приложений. И немного подробнее по взаимодействию между задачами и
Добрый день, коллеги!
Высылаю обещанную аннотацию моей разработки по Рефалу.
По требованию — дополню.
С уважением,
Александр Гусев
gusev_aleksa...@mail.ru
Краткое описание ReAS - Александр Гусев.pdf
Description: Adobe PDF document
ecember 11, 2020 12:51 PMTo: refal@botik.ruCc: fro...@nicevt.ruSubject: Re: Сравнение веток Рефала Отлично, можем и пораньше, как восстановлюсь. 11.12.2020, 12:41, "Александр Коновалов a.v.konovalov87_AT_mail.ru" <refal@botik.ru>:Замечательно! Ближе к лету обсудим тогда. Fr
Не, лучше весной, поскольку практика летняя. Сейчас пока рано.
From: Eisymont Leonid verger-lk_AT_yandex.ru [mailto:refal@botik.ru]
Sent: Friday, December 11, 2020 12:51 PM
To: refal@botik.ru
Cc: fro...@nicevt.ru
Subject: Re: Сравнение веток Рефала
Отлично, можем и пораньше, как
'Александр Гусев' <gusev_aleksa...@mail.ru>Cc: fro...@nicevt.ruSubject: Re: Сравнение веток Рефала А вот это здорово, могли бы их подключить к работам в первую очередь Модуля. Они сейчас сложную микросхему разрабатывают, должны получить заказ на 7.6 млрд рублей. Там для программистов также много
С финансированием отдельных групп действительно плохо. По этой причине Межведомственная школа будет существовать при двух монстрах - Модуле и Кванте. "Демонстрация флага" уже сделана (статья этого года по mPX). Кто мог понять, к чему это, понял.Это хоть какая-то форма проведения НИР, а эти
Замечательно! Ближе к лету обсудим тогда.
From: Eisymont Leonid verger-lk_AT_yandex.ru [mailto:refal@botik.ru]
Sent: Friday, December 11, 2020 12:37 PM
To: refal@botik.ru; 'Александр Гусев'
Cc: fro...@nicevt.ru
Subject: Re: Сравнение веток Рефала
А вот это здорово, могли бы их подключить
Александр Гусев <gusev_aleksa...@mail.ru>; refal@botik.ruCc: fro...@nicevt.ruSubject: Re: Сравнение веток Рефала Про эту реализацию что-то не знаю. Упустил. Интересно, вкратце, понять. Что почитать?Все одиночки и одиночки... Мы в Модуле и Кванте начали процесс самоорганизации по эксперимент
Добрый день, Леонид!
Да, статью Вашу читал.
На днях «причешу» документацию и сделаю из неё информационный листок. Раз
внезапно возникла потребность.
Относительно «одиночек» и самоорганизации. Так сложилась, что «Россия — родина
слонов». Государство у нас всегда на стороне «монстров».
,
Александр Коновалов
From: Eisymont Leonid verger-lk_AT_yandex.ru [mailto:refal@botik.ru]
Sent: Friday, December 11, 2020 11:08 AM
To: Александр Гусев ; refal@botik.ru
Cc: fro...@nicevt.ru
Subject: Re: Сравнение веток Рефала
Про эту реализацию что-то не знаю. Упустил. Интересно, вкратце, понять
gusev_aleksandr_AT_mail.ru [mailto:refal@botik.ru]
Sent: Friday, December 11, 2020 10:47 AM
To: refal@botik.ru
Cc: fro...@nicevt.ru
Subject: Re[2]: Сравнение веток Рефала
Доброй пятницы, коллеги!
Я свои разработки не забросил продолжаю заниматься. Информацию не выкладывал
никуда кроме конференции
Про эту реализацию что-то не знаю. Упустил. Интересно, вкратце, понять. Что почитать?Все одиночки и одиночки... Мы в Модуле и Кванте начали процесс самоорганизации по экспериментальным работам в области СКТ и ИИ (это в соответствии с тем, что было опубликовано в прошлом году в журнале "Вопросы
фал Плюс учитывает? Потому что для того же примера
> с задачей Вирта в цикле то приписывается, то отрезается первый символ,
> но при этом у вектора всегда один владелец. А значит, при конкатенации его
> можно перезаписывать, а не создавать новый.
>
>
>
> С уважением,
>
tik.ru
Subject: Re: Сравнение веток Рефала
Все это верно, но это же не имеет отношения к примеру о цепочках из учебника по
Р+. Рекурсия там - не хвостовая. И как писал Юра (26.02):
<<<
Пример с двумя iter из документации в приложении. Требует heap'а чуть поменьше
(1ГБ против 2ГБ). Счит
orlovan_AT_gmail.com
Sent: Saturday, March 2, 2019 10:39 AM
To: refal@botik.ru
Subject: Re: Сравнение веток Рефала
On Fri, Mar 1, 2019 at 4:08 AM Sergei M. Abramov abram_AT_botik.ru
mailto:refal@botik.ru> > wrote:
День добрый, Антон, Юра!
Я там как-то невнимательно следил.
1. Р+ с $iter должен быт луч
памяти, и
операции с ним будут быстрее.
С уважением,
Александр Коновалов
From: Andrei Klimov andrei_AT_klimov.net
Sent: Friday, March 1, 2019 6:56 PM
To: refal@botik.ru
Subject: Re: Сравнение веток Рефала
On Fri, Mar 1, 2019 at 5:17 PM Sergei M. Abramov abram_AT_botik.ru
mailto:refal@botik.ru
.
С уважением,
Александр Коновалов
From: Arkady Klimov arkady.klimov_AT_gmail.com
Sent: Monday, February 25, 2019 4:51 PM
To: refal@botik.ru
Subject: Re: Сравнение веток Рефала
Я не только дочитал, наконец, но и внес свои правки-дополнения (в раздел по
Рефал-6, и чуток по Рефал Плюс
Все это верно, но это же не имеет отношения к примеру о цепочках из
учебника по Р+. Рекурсия там - не хвостовая. И как писал Юра (26.02):
<<<
Пример с двумя iter из документации в приложении. Требует heap'а чуть
поменьше (1ГБ против 2ГБ). Считает 10.5 секунд.
>>>
Значит, все-таки требует ГБ
Спасибо, Антон.
Я ожидал меньшего (ускорения). Но может это пока аргумент относительно мал
(1, да?).
Для 10 будет, думаю, слабее. Число вызовов растет, грубо говоря,
линейно, а время квадратично.
Аркадий
сб, 2 мар. 2019 г. в 09:26, Anton Orlov orlovan_AT_gmail.com :
>
>
> On Fri, Mar 1,
День добрый, Антон!
Спасибо за пояснения!
Всего доброго,
Сергей Абрамов
On Fri, Mar 1, 2019 at 4:08 AM Sergei M. Abramov abram_AT_botik.ru <
refal@botik.ru> wrote:
> День добрый, Антон, Юра!
>
> Я там как-то невнимательно следил.
>
> 1. Р+ с $iter должен быт лучше (не хуже) чем рекурсия. Но не сильно
> (хвостовая рекурсия мало уступает $iter).
>
$iter не хуже, чем
On Fri, Mar 1, 2019 at 8:57 AM Arkady Klimov arkady.klimov_AT_gmail.com <
refal@botik.ru> wrote:
> Чтобы понять, лучше ли iter чем рекурсия, я переделал последний вариант
> EX1 (хотя рекурсия там тоже не настоящая, хвостовая) через $iter. Антон или
> Юра, сможете пропустить? А то я пока не умею
День добрый, всем!
> ... По мере тасования памяти скорость падает до 2 раз.
Тема диссертации Светланы Подколзиной (Трубицыной): реализация Лиспа с
массивным представлением по направлению CDR.
CAR -- ссылка, CDR -- соседняя ячейка (близось адресов).
Тракторная сборка мусора, которая как
Чтобы понять, лучше ли iter чем рекурсия, я переделал последний вариант EX1
(хотя рекурсия там тоже не настоящая, хвостовая) через $iter. Антон или
Юра, сможете пропустить? А то я пока не умею этого.
Правда, вряд ли заметно ускорится, поскольку основное время здесь,
по-видимому, уходит все-таки на
пт, 1 мар. 2019 г. в 00:49, Anton Orlov orlovan_AT_gmail.com :
>
> А за счёт чего получается экономия при выносе первых термов?
> Что переставляется при движении по выражению один указатель (на терм), а
> не два (на конец левого подвыражения и на начало правого)? Я не думаю, что
> здесь можно
On Tue, Feb 26, 2019 at 5:41 AM Yuri Klimov yuri_AT_klimov.net <
refal@botik.ru> wrote:
> Добрый день!
>
> Пример Аркадия на Рефал+:
>
> $func? EX sN eS = eS;
> EX \{
> 0 eS = eS;
> sN eS , 'abc' : e sX e , sX eS :: eR, # \{ eR : vA vA e; }, 1> eR>;
> };
>
> Я ошибся. По умолчанию в
удет спросить у Андрея.
С уважением,
Александр Коновалов
-Original Message-
From: Леонид Ф. Белоус belous_AT_ilt.kharkov.ua
Sent: Wednesday, February 27, 2019 4:53 PM
To: refal@botik.ru
Subject: Re: Сравнение веток Рефала
On 2019-02-27 15:20, Александр Коновалов mazdaywik_AT_yandex.ru
ем,
Леонид Белоус
ФТИНТ НАН Украины
-Original Message-
From: Леонид Ф. Белоус belous_AT_ilt.kharkov.ua
Sent: Wednesday, February 27, 2019 4:09 PM
To: refal@botik.ru
Subject: Re: Сравнение веток Рефала
Добрый день, коллеги!
On 2019-02-27 14:16, Arkady Klimov arkady.klimov_AT_gmail
ry 27, 2019 4:09 PM
To: refal@botik.ru
Subject: Re: Сравнение веток Рефала
Добрый день, коллеги!
On 2019-02-27 14:16, Arkady Klimov arkady.klimov_AT_gmail.com wrote:
> Спасибо, Александр,
> да, этот текст дает определенное
> представление о Вашей версии языка.
> Думаю, можно и нужно с
сколько
подробными должны быть сообщения об
ошибках, должен ли компилятор
восстанавливаться…
С уважением,
Александр Коновалов
FROM: Eisymont Leonid verger-lk_AT_yandex.ru
SENT: Thursday, February 14, 2019 12:33 PM
TO: refal@botik.ru
SUBJECT: Re: Сравнение веток Рефала
Будет действительно весел
; *From:* Arkady Klimov arkady.klimov_AT_gmail.com [mailto:refal@botik.ru]
> *Sent:* Thursday, February 14, 2019 4:31 PM
> *To:* refal@botik.ru
> *Subject:* Re: Сравнение веток Рефала
>
>
>
> Я не ус
омню и на них
отвечу. Возможно, в выходные.
From: Arkady Klimov arkady.klimov_AT_gmail.com [mailto:refal@botik.ru]
Sent: Thursday, February 14, 2019 4:31 PM
To: refal@botik.ru
Subject: Re: Сравнение веток Рефала
Я не успел вовремя заметить появление новой ветки, поэтому теперь копиру
Василий, Ваши результаты меня удивляют. Вроде для 1 время выполнения
ожидается в 100 раз меньше, чем для 10. А у Вас первый проходит "менее
чем за минуту", а последний - "более чем 5,5 минут". Формально, конечно,
нет противоречия. Вы не ошиблись? Замерьте, пожалуйста, еще раз для тех же
У меня на ноуте c Intel Core i7 3630 QM 2.4GHz на Рефале-6 для исходного
варианта EX1
(только ошибку исправил, то есть все как в Рефал+) такие результаты (в
секундах):
11.04
23.93
415.91
865.03
10 102.41
20 418.17
Рост чуть
On Tue, Feb 26, 2019 at 2:17 PM Arkady Klimov arkady.klimov_AT_gmail.com <
refal@botik.ru> wrote:
> Нет ли тут каких эффектов, что если мы по длинному списку бежим быстрее
> (меньше действий), то все начинает работать медленнее? Может из-за каких-то
> свойств кэша?
>
Да, кеш – первый
P.S. На Refal+ версия EX1 растет примерно квадратично:
1 0:00.76 real, 0.76 user, 0.00 sys
2 0:02.88 real, 2.88 user, 0.00 sys
4 0:11.75 real, 11.75 user, 0.00 sys
8 0:51.48 real, 51.48 user, 0.00 sys
10 1:23.53 real, 83.53 user, 0.00 sys
20 6:21.94 real, 381.92 user, 0.00
Да, аргумент 1.
С уважением,
Юрий Климов
On Tue, 26 Feb 2019 at 14:17, Arkady Klimov arkady.klimov_AT_gmail.com <
refal@botik.ru> wrote:
> Юра!
> Ты нигде не написал, какой у тебя был аргумент. 1?
> А ошибку я тоже у себя нашел, спасибо.
> Арк
>
> PS. У себя на Рефал6 нашел
Юра!
Ты нигде не написал, какой у тебя был аргумент. 1?
А ошибку я тоже у себя нашел, спасибо.
Арк
PS. У себя на Рефал6 нашел странности.
Для начала проверил, что отождествление vA vA e транслируется также как и
ta eA ta eA e.
Это нормально. Но поиск старого терма делается без оптимизаций, на
Добрый день!
Пример Аркадия на Рефал+:
$func? EX sN eS = eS;
EX \{
0 eS = eS;
sN eS , 'abc' : e sX e , sX eS :: eR, # \{ eR : vA vA e; }, eR>;
};
Я ошибся. По умолчанию в компиляторе были выключены оптимизации и включен
режим отладки. Теперь время около 0.62 секунд.
Пример с двумя iter из
День добрый,
> Запустил исходный пример Аркадия на Рефале+ (с компиляцией C++).
> Heap пришлось увеличить до 2GB. Время - 2.05 секунды.
Юра, сделайте с двумя $iter-ами, пожалуйста. Хочется и на текст
полюбоваться, и на прогон.
Под руками системы нет, а в сухую (без воды в бассейне) и
> Сергей, там два $Iter-а: один во вспомогательной функции
> Unacceptable?
Ну, да :) Просто второй совсем очевиден...
Всего доброго,
Сергей Абрамов
Доброй ночи!
Запустил исходный пример Аркадия на Рефале+ (с компиляцией C++). Heap
пришлось увеличить до 2GB. Время - 2.05 секунды.
С уважением,
Юрий Климов
P.S. Попутно обнаружил ошибочку в компиляторе. Сразу видно, что раньше
компилятор тестировался на машинах с меньше, чем 2ГБ памяти ;).
Доделал свой итеративный вариант, он проходит без увеличения памяти и
стеков до N=10 (сто тысяч) за 1м40сек (100 сек).
1 (десять тысяч) проходит за 1 сек.
// Здесь строка eS еще не проверена на отсутствие повтора в ее начале
EX1 sN eS : {
// Goal!
0 e = eS;
// eS is unacceptable
sN
просто подписывать письма.
С уважением,
Александр Коновалов
From: Andrei Klimov andrei_AT_klimov.net
Sent: Monday, February 25, 2019 8:29 PM
To: refal@botik.ru
Subject: Re: Сравнение веток Рефала
On Mon, Feb 25, 2019 at 8:14 PM Arkady Klimov arkady.klimov_AT_gmail.com
<http://arkady.klimov_AT_
Сергей, там два $Iter-а: один во вспомогательной функции Unacceptable?
(распознает присутствие равных смежных подстрок), он действительно по
(половине) длины строк и соответствует моему образцу vA vA e, а другой -
внутри основной функции Extend?, он всего на 3 итерации и соответствует
моему клэшу:
Уважаемые господа!Я тоже дочитал...А тест Аркадия меня подвиг его повторить.У меня на рефале/2 получилась следующая программа:a =/0/k/P/k/EX//1/..EX /0/eS=eS sN eS=k/EX1/('abc'sN)eS.EX1 (sa eb sN)eS=k/EXc/(eb sN)sa eS. (sN)saeS=k/EX1p/k/P1/sN.sa('abc')eS.EX1p sN sa(e1 sa eb)eS=k/EX1/(eb
День добрый, всем!
> Решение на Рефал Плюс из руководства тоже жадно до стека.
> Интересно, какие там пределы?
Я не очень понял, какой там стек... Там явно $iter по переменной s.N
напрашивается.
Всего доброго,
Сергей Абрамов
Я не только дочитал, наконец, но и внес свои правки-дополнения (в раздел по
Рефал-6, и чуток по Рефал Плюс), поместив этот замечательный текст в
doc-файл, который можно взять по ссылке:
https://www.dropbox.com/s/eq4yv9g7atu59d7/CompareRefals.doc?dl=0
Я подумал, что хорошо бы моему примеру
ebruary 20, 2019 6:28 PMTo: refal@botik.ruSubject: Re: Сравнение веток Рефала Я закрутился, да еще думал, что ты забыл. Завтра я на похороны иду, потом посмотрю и вышлю, что обещал.Напомни, пожалуйста, где про Рефал-5 попроще посмотреть. Но быстро, без занудства. Я сколько фрагментов в письма
>> (Получилось очень длинно. Интересно, кто-нибудь дочитает до конца?)
> Дочитал!
Я дочитал вот до сюда:
>>А кто дочитал — молодец!
И присоединяюсь к сказанному:
> Александр, большое спасибо за замечательный обзор и отличий
> синтаксиса Рефалов, и основных принципов реализации.
Всего доброго,
On Wed, Feb 20, 2019 at 8:41 PM Александр Коновалов
a.v.konovalov87_AT_mail.ru wrote:
>
>
> (Получилось очень длинно. Интересно, кто-нибудь дочитает до конца?)
>
Дочитал!
Александр, большое спасибо за замечательный обзор и отличий синтаксиса
Рефалов, и основных принципов реализации.
Выгружу
,Александр Коновалов From: Eisymont Leonid verger-lk_AT_yandex.ru <refal@botik.ru>Sent: Thursday, February 14, 2019 12:47 PMTo: refal@botik.ruSubject: Re: Сравнение веток Рефала Переменные есть, числа можно взять целые и вещественные. Можно упростить, на вход поступают только правильные арифмети
verger-lk_AT_yandex.ru
Sent: Thursday, February 14, 2019 12:47 PM
To: refal@botik.ru
Subject: Re: Сравнение веток Рефала
Переменные есть, числа можно взять целые и вещественные. Можно упростить, на
вход поступают только правильные арифметические выражения. Программа должна
быть короткой, на
иваться… С уважением,Александр Коновалов From: Eisymont Leonid verger-lk_AT_yandex.ru <refal@botik.ru>Sent: Thursday, February 14, 2019 12:33 PMTo: refal@botik.ruSubject: Re: Сравнение веток Рефала Будет действительно весело. А делать надо, дождались. Рекомендую взять какой - нибудь при
56 matches
Mail list logo