Re: Коллапсируюшее представление данных

2019-02-13 Пенетрантность Anton Orlov orlovan_AT_gmail . com
On Wed, Feb 13, 2019 at 6:13 AM Andrei Klimov andrei_AT_klimov.net < refal@botik.ru> wrote: > Александр, еще раз добрый день! > > Я понял, о чем вы писали и зачем требуется отношение порядка. Объясню > своими словами на подвешенных скобках. > > Пусть (eX) и (eY) входят в два выражения e1(eX)e2 и

Re: Коллапсируюшее представление данных

2019-02-13 Пенетрантность Andrei Klimov andrei_AT_klimov . net
Переношу реплику Аркадия под этот сабж. А то мысли про джунгли окажутся потерянными в нескольких тредах. Андрей On Wed, Feb 13, 2019 at 6:26 PM Arkady Klimov arkady.klimov_AT_gmail.com < refal@botik.ru> wrote: > То, о чем написал Сергей действительно полезно на практике. У меня > написана некая

Re: Коллапсируюшее представление данных

2019-02-13 Пенетрантность Andrei Klimov andrei_AT_klimov . net
On Wed, Feb 13, 2019 at 9:55 PM Александр Коновалов a.v.konovalov87_AT_mail.ru wrote: > Прокси может ссылаться на прокси. > > Допустим, у нас есть три равных терма: A, B и C. > > Сравнивая A и B, мы превращаем A в прокси, который ссылается на B: A → B. > > Сравнивая затем B и C, делаем прокси B:

RE: Коллапсируюшее представление данных

2019-02-13 Пенетрантность Александр Коновалов a . v . konovalov87_AT_mail . ru
Прокси может ссылаться на прокси. Допустим, у нас есть три равных терма: A, B и C. Сравнивая A и B, мы превращаем A в прокси, который ссылается на B: A → B. Сравнивая затем B и C, делаем прокси B: B → C. Получается цепочка прокси: A → B → C. Конечно, при следующем обращении к A цепочка

Re: Коллапсируюшее представление данных

2019-02-13 Пенетрантность Andrei Klimov andrei_AT_klimov . net
On Wed, Feb 13, 2019 at 2:42 PM Александр Коновалов a.v.konovalov87_AT_mail.ru wrote: > Андрей! > > > *«Головная ячейка представления скобочного терма может быть прокси, > то есть ссылкой на окончательное представление или снова > на прокси.»«Одновременно спрямлять ссылки.»* > > Получаем лес

Re: Re[2]: Немного статистики

2019-02-13 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Здравствуйте, Александр! Прошу прощения за некоторую задержку, пришлось немного повозиться, приводя в порядок версию дистрибуции. В принципе, есть все на сайте refal.net, но сильно старое, с тех пор довольно много было правок. Вот та страничка: http://refal.net/~arklimov/refal6/index.html

Re: Синтаксический анализ в Рефале

2019-02-13 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
То, о чем написал Сергей действительно полезно на практике. У меня написана некая система работы с полиномами, и там обрабатываются неравенства вида P(x,y,...) < K, где K - целое число, а P не содержит свободного члена. В списке таких неравенств часто надо находить неравенства с общей левой частью

RE: Коллапсируюшее представление данных

2019-02-13 Пенетрантность Александр Коновалов a . v . konovalov87_AT_mail . ru
Добрый день, Сергей! Индексация этого представления, как сказано, имеет сложность log(P, N), где P=32 — местность дерева. Операции очереди (вставка/удаление в начале/конце) — P×log(P, N), выбор префикса или суффикса — тоже P×log(P, N). Операция обновления i-го элемента (построения вектора с

RE: Коллапсируюшее представление данных

2019-02-13 Пенетрантность Александр Коновалов a . v . konovalov87_AT_mail . ru
Андрей! «Головная ячейка представления скобочного терма может быть прокси, то есть ссылкой на окончательное представление или снова на прокси.» «Одновременно спрямлять ссылки.» Получаем лес непересекающихся множеств: https://ru.wikipedia.org/wiki/Лес_непересекающихся_множеств У этого метода

Re: Коллапсируюшее представление данных

2019-02-13 Пенетрантность Andrei Klimov andrei_AT_klimov . net
Александр, да, теперь я понял. Получилось так, что мы писали навстречу друг другу. Я только что послал письмо, где обрисовал картину более подробно с возможными решениями, но, к сожалению, неидеальными. Андрей On Wed, Feb 13, 2019 at 2:10 PM Александр Коновалов a.v.konovalov87_AT_mail.ru wrote:

Re: Коллапсируюшее представление данных

2019-02-13 Пенетрантность Andrei Klimov andrei_AT_klimov . net
Александр, еще раз добрый день! Я понял, о чем вы писали и зачем требуется отношение порядка. Объясню своими словами на подвешенных скобках. Пусть (eX) и (eY) входят в два выражения e1(eX)e2 и e3(eY)e4, и при их сравнении выяснилось, что (eX) = (eY). И пусть на представления (eX) и (eY) есть еще

RE: Коллапсируюшее представление данных

2019-02-13 Пенетрантность Александр Коновалов a . v . konovalov87_AT_mail . ru
Андрей! Описываю, что я имел ввиду, на Рефале. Будем предполагать, что в этой реализации используются подвешенные скобки. F { = ; } G { t.1 t.2 = ; } H { t.X t.X t.Y t.Y = t.X t.Y; } В памяти всё равно могут остаться два экземпляра ('abc'). Потому что первый раз мы сравниваем t.1 с

Re: Коллапсируюшее представление данных

2019-02-13 Пенетрантность Sergei Romanenko sergei . romanenko_AT_supercompilers . ru
Имеет смысл ознакомиться с тем, как реализованы/представлены "немутабельные" векторы в библиотеке Скалы: *Scala High Performance Programming* Vincent Theron, Michael Diamant May 2016 https://www.packtpub.com/application-development/scala-high-performance-programming Not only does Vector yield

Re: Коллапсируюшее представление данных

2019-02-13 Пенетрантность Andrei Klimov andrei_AT_klimov . net
On Wed, Feb 13, 2019 at 11:04 AM Andrei Klimov wrote: > Я сменил сабж, так как тема шире, чем лишь для Рефала Плюс. > > ср, 13 февр. 2019 г., 0:18 Александр Коновалов a.v.konovalov87_AT_mail.ru > : > >> Добрый вечер, Сергей! >> >> > 2. Наконец, если нам пришлось делать длинное сравнение и в