Fwd: День памяти В.Ф. Турчина 7 апреля и семинар 10.04.2024

Изменение: семинар пройдет в Zoom'е: Join Zoom Meeting https://us06web.zoom.us/j/82193993914?pwd=Qvs6v9JaCS0HLPbcMW5rjmGGZQRscf.1 Meeting ID: 821 9399 3914 Passcode: 849619 В Skype-чате по ссылке, приведенной в объявлении ниже, об этом дана информация с Zoom-ссылкой. Всего наилучшего, Андрей

Re: [NON-SUBSCRIBER POST] Fwd: Refal и ChatGPT 4.0

В общем, итоговый ответ в первом предложении правильный: Сумерки протекают быстрее весной и осенью, когда день и ночь примерно равны > по продолжительности. А дальше в объяснениях оно запутывалось. Особенно восхитило вот это место: Когда Земля находится ближе к Солнцу, день становится длиннее,

Re: [NON-SUBSCRIBER POST] Fwd: Refal и ChatGPT 4.0

On Fri, 7 Apr 2023 at 17:09, Arkady Klimov arkady.klimov_AT_gmail.com < refal@botik.ru> wrote: > А вот еще задачка, теперь по школьной геометрии: > A rectangle is inscribed in a circle of radius R. The midpoints of the > sides of the rectangle are vertices of a rhombus. What is the side of the >

Re: [NON-SUBSCRIBER POST] Fwd: Refal и ChatGPT 4.0

On Thu, 6 Apr 2023 at 15:01, Sergei M. Abramov abram_AT_botik.ru < refal@botik.ru> wrote: > А еще в рефале есть сконки. Интересно, как зверушке зайдет такая функция? > > f { > = ; > s.1 e.2 = s.1 > (e.1) e.2 = (); > } > > Ну, там стандартные вопросы: чему равно > и т.п. > См. ниже

Re: [NON-SUBSCRIBER POST] Fwd: Refal и ChatGPT 4.0

Сергей, спасибо! Да, впечатляет, как оно умудряется «понять» код и прокомментировать его! Вот за этим уже просматривается практическое значение: Как считается, программисты тратят больше 70% своего времени, изучая чужой код, в который потом делают вставки для реализации нового функционала. А при

Re: Refal и ChatGPT 4.0

On Sun, 2 Apr 2023 at 17:30, Sergei M. Abramov abram_AT_botik.ru < refal@botik.ru> wrote: > > Можно было бы и по-русски, но по-английски меньше расходуется... > > Спасибо! Содержательное знание. > Да, шум вокруг этой GPT-3,4 явно преувеличен. Я посмотрел кое-то ролики лидера OpenAI: хорошо ведет

Re: Refal и ChatGPT 4.0

Я перевел запрос Сергея Скоробогатова на русский Яндекс-переводчиком, и вот что получилось. Свалился в Хаскель: Пожалуйста, напишите краткую спецификацию для нового функционального языка программирования. Язык должен максимально сохранять синтаксис и семантику языка Refal, но каждое объявление

Re: Refal и ChatGPT 4.0

вс, 2 апр. 2023 г. в 15:29, Sergei M. Abramov abram_AT_botik.ru < refal@botik.ru>: > Что ж она(он, оно) про рефал не по-русски то? По-русски он/о/а тоже может (цветом выделены мои запросы):  Расскажи про язык программирования Рефал Рефал - это язык программирования, созданный в СССР в 1966

Re: Refal и ChatGPT 4.0

Да-а-а! Пример крутой! Как «оно» «догадалось» построить пример фильтрации по типу?! Тут уж стоит задуматься: откуда он(о) не просто «знает» про Рефал, а еще «понимает» его, в смысле может содержательно варьировать синтаксис? Угловые скобки и двоеточие мог позаимствовать из Хаскеля. Но для этого

Re: Refal и ChatGPT 4.0

Да, впечатляет! Сам я еще не научился пользоваться ChatGPT-ом (может, Сергей научит?), а с интересом изучаю диалоги, что выставили другие на просторах интернета. То, что некий «ИИ» может писать связный текст, хорошо структурированный по теме запроса (как здесь четко воспроизводится структура

Re: Нашел лекцию: конкуренты

Коля, большое спасибо! Меня удивляло, почему уже давно существующий GraalVM не породил шума. Вроде есть, но живет где-то на заднем плане общественного интереса. Послушаю эту лекцию. Может, она объяснит, в чем пробуксовка, или наоборот, расскажет, что докладчик с командой сделали, чтобы продвинуть

POPL & PEPM 2022

Привет всем! Вчера (16 января) началась конференция *49th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2022)*: https://popl22.sigplan.org/ Кроме основной программы конференции, при ней несколько workshop'ов, включая ведущий для нашего сообщества *ACM SIGPLAN Workshop on

Re: Актуальные реализации и текущее состояние.

On Mon, Oct 11, 2021 at 1:11 PM Mike Potanin mpotanin_AT_gmail.com < refal@botik.ru> wrote: > Научить суперкомпилятор функциям высших порядков > будет не просто, а сделать еще пакет для суперкомпилятора было бы полезно. > Суперкомпилировать язык с функциями высшего порядка – в первом приближении

Re: Актуальные реализации и текущее состояние.

On Sun, 10 Oct 2021 at 17:56, Dr Mikhail Kovtun, Ph.D. mikhail.kovtun_AT_duke.edu wrote: > Поэтому обращаюсь (к Рефал-компании) -- думайте и о людях, работающих на > машинах без соединения с интернетом. > Миша, я в чем проблема? Ценный несекретный софт может лежать в двух видах: как в

Re: Приглашение на онлайн семинар ruSTEP в пятница 11 июня в 12:00 мск (=16:00 нск).

Добрый день всем! По итогам только что прошедшего семинара, в связи с возникшим обсуждением целей Рефала при его создании, хочу обратить внимание на предисловие В.Ф.Турчина к первому изданию в 1993 году на русском языке его книги "Феномен науки". Оно неявно содержит цели Рефала как

Re: Приглашение на онлайн семинар ruSTEP в пятница 11 июня в 12:00 мск (=16:00 нск).

Добрый вечер всем! Приятно слышать, что не все рефальщики вымерли, а в Бауманке под руководством Александра Коновалова теплится рефал-жизнь. Вопросы принято задавать после докладов, но если их сформулировать до, есть надежда, что докладчики учтут их уже в своих выступлениях. Мне было бы

Приглашение на онлайн семинар ruSTEP в пятница 11 июня в 12:00 мск (=16:00 нск).

-- Forwarded message - From: Shilov Nikolay Date: Thu, 10 Jun 2021 at 08:48 Subject: Приглашение на онлайн семинар ruSTEP в пятница 11 июня в 12:00 мск (=16:00 нск). To: Shilov Nikolay Уважаемые подписчики новостей о предстоящих заседаниях ru-STEP! (ruSTEP=russian seminar on

Re: Харитоновские Научные Чтения - 2021

Можно загрузить сборник трудов конференции Харитон-2021 и посмотреть 1-2 страничные тезисы докладов, пойдя на страницу: - http://nimfa.vniief.ru/khariton2021/materialy-khariton-2021/ Сборник: - http://nimfa.vniief.ru/khariton2021-content/Сборник_тезисов.pdf - стр. 49-50:

SYRCoSE'21: приглашение на 27-28 мая 2021 г.

Приглашенные доклады на конференции SYRCoSE'21 обещают быть интересными! Да и в основной программе можно найти что-нибудь по вкусу: http://syrcose.ispras.ru/?q=node/12 Чтобы получить Zoom-ссылку, надо зарегистрироваться. См. ниже. Андрей Климов -- Forwarded message - From: Shilov

Re: В защиту ссылок в Рефале – Was: Рефал-семинар 17 мая 2021 в 10:30 в Zoom'e

Александр, спасибо за лестный отзыв. Я рад, что мои писательские труды не были даром. ;-) Андрей On Tue, 18 May 2021 at 23:23, Александр Гусев gusev_aleksandr_AT_mail.ru < refal@botik.ru> wrote: > Спасибо, Андрей! > Всё замечательно выражено. Действительно, если даны правильные > определения,

В защиту ссылок в Рефале – Was: Рефал-семинар 17 мая 2021 в 10:30 в Zoom'e

После семинара между двумя Александрами (Гусевым и Коноваловым) возникла переписка с ограничеснной рассылкой только тем, кто был на семинаре. Я захотел встрять и посылаю письмо в refal@botik c надеждой, что это обсуждение будет интересно всем. Также я указал в BCC тех, кто был на семинаре, но на

Рефал-семинар 17 мая 2021 в 10:30 в Zoom'e

Добрый вечер! В *понедельник 17 мая 2020 в 10:30 часов* соберемся на онлайн-семинар по Рефалу: - *Александр Коновалов* (МГТУ имени Н.Э. Баумана) *Проблемы ссылочной эквивалентности замыканий при эквивалентных преобразованиях программ в Рефале-5λ* Zoom-сеанс:

Re: День памяти Валентина Федоровича Турчина (14.2.1931–7.4.2010) – 7.4.2021

Виктор, спасибо за "провокационный" вопрос! Как массовый язык Рефал, конечно, умер. Такого уже нет, как в году 1987 и 88, когда на Рефал-конференцию в ИПУ съехалось ~180 человек. А сколько еще было, кто не пришел?! Но как язык отдельных энтузиастов – жив, и, более того, появляется молодежь,

День памяти Валентина Федоровича Турчина (14.2.1931–7.4.2010) – 7.4.2021

Дорогие друзья! Сегодня мы поминаем Валентина Федоровича. Держа в голове его образ, думаем о том, как много он значил и значит для нас и как удивительно много он сделал для человечества – извините за высокопарность, но, как я его воспринимал, именно так он решал вопрос о смысле жизни для себя:

О разделении логики и дизайна

[Сменил сабж, так как "Остапа понесло".] On Sun, Mar 28, 2021 at 8:31 PM Александр Коновалов a.v.konovalov87_AT_mail.ru wrote: > Добрый вечер, Андрей! > > > > В Рефале-5 запятая для откатов прозрачна. Не прозрачны для откатов только > фигурные скобки — блоки после двоеточия и сами вызовы

Re: Регулярные выражения слева

On Sat, Mar 27, 2021 at 11:47 PM Александр Коновалов a.v.konovalov87_AT_mail.ru wrote: > [...] > > Вариативность (но с ущербом для эффективности) можно реализовать и в > Рефале-5. Код, эквивалентный коду Рефала-6, будет выглядеть так: > > F { > e.Name 〈что-то ещё〉, : T = … ; > … = …; > } >

Re: Refal6-basic

On Sun, Mar 28, 2021 at 11:43 AM Александр Коновалов a.v.konovalov87_AT_mail.ru wrote: > Доброе утро, Андрей! > > А Рутен подписан на эту рассылку? Просто у меня есть свои идеи на этот > счёт, интересно было бы с ним обсудить. > Александр, Да, Рутен подписал. Надеюсь, заглядывает в нашу

Re: Refal6-basic

> > *Von:* Александр Коновалов > *Gesendet:* Freitag, 26. März 2021 22:41 > *An:* nikolai.kondrat...@gmail.com > *Betreff:* Re: Refal6-basic > > [...] > > Андрей Валентинович рассказывал, что в ИПМ кто-то писал диссертацию про > проверку типов Рефала с использованием регулярных выражений, а потом

Re: Изобретение велосипеда

On Fri, Mar 12, 2021 at 2:12 PM Александр Коновалов a.v.konovalov87_AT_mail.ru wrote: > Добрый день, Андрей Валентинович! > > Может быть, Турчин, Бэкус и МакКарти втроём на какой-нибудь конференции > встретились и идея синтаксиса родилась в ходе совместной беседы. В общем, > теперь я буду знать

Re: 90-летие Валентина Федоровича Турчина (14.2.1931–7.4.2010)

Николай, добрый день! Спасибо! Хорошая идея. Я бы с удовольствием подготовил презентацию о научном наследии Турчина. Благо, я уже делал подобные доклады и некоторый материал уже накоплен. А получится ли секция по метавычислениям – зависит от того, подадут ли достаточно докладов, в частности,

90-летие Валентина Федоровича Турчина (14.2.1931–7.4.2010)

Дорогие друзья! Исполнилось 90 лет со дня рождения Валентина Федоровича Турчина. Он мог бы дожить до этого возраста с сохранением ясности ума, как бывает у творческих людей. Но и за свои годы он сделал так много и с таким заглядыванием в будущее, что нам еще осваивать и осваивать его наследие.

Fwd: Ближайший семинар ruSTEP - пятница 5 февраля в 12:00 (мск)

Доброе утро! Через час состоится семинар, о котором речь ниже. Я не догадался сделать рассылку раньше, но одна из причин такая: у этого семинара своя система подписки, куда включаются все желающие. Подписывайтесь! Сюда могут пересылиться не все объявления. Андрей -- Forwarded message

Re: «Problems’ Day» Wed 30.12.2020 9:00 in Zoom - New Year's Eve meeting of the CS Interlaboratory Seminar Novosibirsk + Innopolis + ...

Александр, спасибо! Хорошая идея. Но такой расширенный доклад надо ещё подготовить. Спасибо, ваше предложение подталкивает меня... Всего наилучшего, Андрей Климов чт, 4 февр. 2021 г., 12:58 'Александр Коновалов' via Метавычисления и специализация программ : > Добрый день, Андрей! > > Ваш

Re: 17-22 января 2021, онлайн: 48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021)

Еще раз добрый вечер! Сегодняшние сессии CPP (International Conference Certified Programs and Proofs) транслировались в Ютубе и остались там доступными для всех желающих. Вот две записи в соответствии с программой https://popl21.sigplan.org/home/CPP-2021?#program: 18:00–19:30

17-22 января 2021, онлайн: 48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021)

Добрый вечер всем! Сегодня *17 января* 2021 в *18:00* (мск) начинает работать * онлайн* крупная конференция по нашей тематике: - *48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021)* https://popl21.sigplan.org/ При ней проходят несколько тематических

Приглашение на онлайн семинар ru-STEP 15 января (и далее...)

Форвардирую письмо Николая Шилова, расширяя пункт (1) и выполняя пункт (10).邏 Присоединяйтесь! Андрей Климов -- Forwarded message - From: Shilov Nikolay Date: Thu, Jan 14, 2021 at 11:20 AM Subject: Приглашение на онлайн семинар

Re: «Problems’ Day» Wed 30.12.2020 9:00 in Zoom - New Year's Eve meeting of the CS Interlaboratory Seminar Novosibirsk + Innopolis + ...

Доброе утро! За 10 мин до доклада pdf-файл презентации был обновлен по тому же адресу: - https://drive.google.com/file/d/169tJh6oMxIaZPMTpv-wMJuUNVRWbrFUt/ Поправлена мелочь. Но можете взять снова, если вы его уже выгружали. Андрей Климов On Wed, Dec 30, 2020 at 12:24 AM Andrei Klimov

Re: «Problems’ Day» Wed 30.12.2020 9:00 in Zoom - New Year's Eve meeting of the CS Interlaboratory Seminar Novosibirsk + Innopolis + ...

Добрый вечер всем! Я делаю доклад на этом семинаре (информация внизу) с такой темой (приведу по-русски и по-английски): - Андрей Климов, Институт прикладной математики им. М.В. Келдыша РАН, Москва - *Фундаментальные не(до)решенные проблемы Computer Science & Software Engineering

«Problems’ Day» Wed 30.12.2020 9:00 in Zoom - New Year's Eve meeting of the CS Interlaboratory Seminar Novosibirsk + Innopolis + ...

Добрый вечер! Форвардирую письмо организатора семинаров CS Николая Шилова с программой мероприятия в среду 30 декабря в 9:00 мск в Zoom'е. До виртуальной встречи! Андрей Климов -- Forwarded message - From: Nikolay Shilov Date: Tue, Dec 29, 2020 at 7:14 PM Subject: Reminder:

Re: Запахи кода и антипаттерны в Рефале

пн, 14 дек. 2020 г., 10:46 Александр Коновалов a.v.konovalov87_AT_mail.ru < refal@botik.ru>: Доброе утро всем! > 1. Выворачивание скобок наизнанку, для организации прохода по выражению. К представлению объектных выражений этот приём (антиприём) не имеет отношение. Не согласен! Ещё как имеет.

Семинар по метавычислениям во вторник 13 октября 2020 в 13:00 в Zoom'е

Добрый день всем! Во *вторник 13 октября* 2020 в *13 часов* приглашаем на *онлайн*-семинар в Zoom, чтобы послушать предзащитный доклад: - *Дмитрий Александрович Мордвинов* (СПбГУ) *Дизъюнкты Хорна с ограничениями в контексте формальной верификации программ *(по материалам кандидатской

Поздравляем Андрея Петровича Немытых с юбилеем!

Дорогой Андрей Петрович, От имени всего рефал-сообщества позвольте поздравить Вас со знаменательной датой, которая символизирует Вашу зрелость, мудрость и большую историю успехов! Желаем здравия и долгих лет, чтобы жизнь наполнялась только положительными эмоциями, радостью и новыми творческими

Re: LBA

Дмитрий, еще добавлю к словам Сергея: LBA не является алгоритмически полным, так что сравнивать вообще бессмысленно. - Linear bounded automaton In computer science, a linear bounded automaton (plural linear bounded automata, abbreviated LBA) is a *restricted form of Turing machine*.

Конференция SYRCoSE'20 по Zoom'у 28–29 мая 2020

Добрый день коллеги! Сейчас идет – то есть сегодня в *четверг 28 мая* и завтра в *пятницу 29 мая* 2020 –конференция: - Spring/Summer Young Researchers' Colloquium on Software Engineering SYRCoSE'20. Программа и ссылка на вход в сеанс Zoom'а на странице: -

День памяти Валентина Федоровича Турчина 7.4.2020

Дорогие друзья и коллеги! Сегодня исполнилось 10 лет как Валентин Федорович покинул этот мир. Мы его помним всегда и поминаем в этот день. В нынешнем «инфошуме» и «инфодемии» чувствуется, что не зря он говорил, что верит, что его философские взгляды, эволюционная теория, согласованные с ней

Re: Как мне назвать компилятор?

On Tue, Mar 31, 2020 at 6:35 PM Александр Коновалов a.v.konovalov87_AT_mail.ru wrote: > Андрей! > > Понял мысль, спасибо. Менять местами 5 и l я бы не стал. И так иногда их > путают (здесь >

Re: Как мне назвать компилятор?

On Tue, Mar 31, 2020 at 5:57 PM Александр Коновалов a.v.konovalov87_AT_mail.ru wrote: > Андрей! > > *«Цифра 5 в середине наименования Рефала мне не нравится: буква после неё > сливается с именем утилиты.»* > > Не понял мысль. > Рассмотрим первый вариант: r5lc, r5lmake Здесь глаз воспринимает 5

Re: Как мне назвать компилятор?

Может так? -- Higher Order Refal – hor, horef: horc, horefc, hormake Гуглом и словарями проверяем, что у этого слова нет нехороших смыслов. Не обнаружено. По словарю: hor = horizon = горизонт. Ассоциация неплохая: рефал на горизонте; рефал, к которому стремимся; рефал мечты. ;-) (Правда, горизонт

Re: Семинар по метавычислениям в понедельник 2 марта 2020 в ИПМ

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

Re: Семинар по метавычислениям в понедельник 2 марта 2020 в ИПМ

вс, 22 мар. 2020 г., 15:37 Eisymont Leonid verger-lk_AT_yandex.ru < refal@botik.ru>: > Аркадий точно пояснил проблему с малыми временами выполнения функций. В > диссертации 1983-го года я предложил частичное инженерное решение - вставил > в правые части рефал-предложений условные конструкции.

Re: Умер Леня Проворов

Родственники и друзья собрали фотографии: - https://drive.google.com/drive/folders/1_SadFAKyKR3ARPOI3yNSzODx2qx7zrTb - https://drive.google.com/drive/folders/1-v_k4HrzwkP_zJoGDjv8kIHqjSeP4sUL Вспоминаем Лёню... Андрей On Tue, Mar 10, 2020 at 9:36 PM Andrei Klimov wrote: > Друзья!

Re: Семинар по метавычислениям в понедельник 2 марта 2020 в ИПМ

Александр, доброе утро! Жаль, но что ж делать... Если параллелизм нас так не затянет, что первый доклад с обсуждением займет намного больше времени, чем думали, то есть такие соображения для полезных рефал-обсуждений после него: - Новый участник семинара Максим Кривчиков может дать у доски

Эпистемиология по Турчину

Пинхас, привет! Большое спасибо за содержательную реакцию! Ты затронул, на самом деле, очень тонкие (по моему разумению) вопросы. Поэтому уверен, их выявление и обсуждение будет интересно всем (по)читателям философии Турчина. Поэтому пересылаю твое письмо в общую рассылку. А мои "размышления на

Семинар по метавычислениям в понедельник 2 марта 2020 в ИПМ

Добрый день всем! В *понедельник 2 марта 2020 в 15 часов* соберемся в 416 комнате ИПМ им. М.В. Келдыша РАН на семинар, чтобы послушать два доклада, связанных с языком Рефал: - *Станислав Санталов *(МГТУ им. Н.Э. Баумана) *Параллельное выполнение функций в Рефале-05* Основная идея —

Re: 26.02.2019 в 14:00 Семинар ИПС им. А. К. Айламазяна РАН

On Fri, Feb 21, 2020 at 11:43 AM Sergei M. Abramov abram_AT_botik.ru < refal@botik.ru> wrote: > > Увы, я искренне планировал быть. > Очень жаль!:-( Я предвкушаю общее обсуждение и чем больше неравнодушных участников будет, тем лучше. Но что делать... > Кто будет с WhatsApp-ом там? > У меня

День Валентина Турчина

Добрый день всем! Сегодня 14 февраля день не только Святого Валентина, но и нами более любимого и ценимого Валентина Федоровича Турчина – его день рождения (1931). Мы поминаем его и поздравляем друга с тем, что мы его знали или заочно впитывали его идеи. Образ Валентина Федоровича и его цельное

13 декабря 2019 – Коллоквиум по Теоретическому и Экспериментальному Программированию (КолТЭП-2019)

Приветствую всех! В пятницу 13 декабря 2019 в новосибирском Академгородке состоится: - *Коллоквиум по Теоретическому и Экспериментальному Программированию, посвященный юбилею Валерия Александровича Непомнящего (КолТЭП-2019)* - с 9:50 до 20:10 по новосибирскому времени - с *5:50 до

Re: Рефал-2, Рефал-5 и стиль программирования

On Mon, Dec 2, 2019 at 5:30 PM Александр Коновалов a.v.konovalov87_AT_mail.ru wrote: > Как это ни парадоксально, но так и должно быть. Но *только* в сочетании > с системой управления версиями и системой управления проектом > (таск-трекером, баг-трекером: Bugzilla, Redmine, Jira, issues в

Re: Re[2]: Нужна ли "Ленинская простота" в Рефале?

пн, 2 дек. 2019 г., 12:19 Александр Гусев gusev_aleksandr_AT_mail.ru < refal@botik.ru>: > В сентябре над этим Андрей Климов смеялся: "почему каждых хочет написать > свой компилятор вместо того, чтобы объединить усилия?" > Это был не я!若 Я-то как раз хорошо понимаю тех, кто хочет пореализовывать

Re: Про параллелизм в Рефале

пн, 2 дек. 2019 г., 1:26 Boyko Bantchev boykobb_AT_gmail.com : > On Sun, 1 Dec 2019 at 23:24, Andrei Klimov andrei_AT_klimov.net > wrote: > > > > вс, 1 дек. 2019 г., 15:31 Александр Коновалов a.v.konovalov87_AT_mail.ru > : > >> > >> Кстати, вопрос к знатокам терминологии параллельного и/или >

Re: Про параллелизм в Рефале

вс, 1 дек. 2019 г., 15:31 Александр Коновалов a.v.konovalov87_AT_mail.ru < refal@botik.ru>: > Кстати, вопрос к знатокам терминологии параллельного и/или функционального > программирования. Вот есть понятие *чистая функция* — это > детерминированная функция без побочного эффекта. У этого понятия

Re: Список всех простых чисел

On Thu, Oct 10, 2019 at 6:32 PM Sergei M. Abramov abram_AT_botik.ru < refal@botik.ru> wrote: > > Вот, хочу сказать, что меня удивило: > > ns' = filter (\ k -> (gcd pp k) == 1) ns > > работает немного медленнее, чем > > ns' = filter ((== 1).(gcd pp)) ns > > Вот нифига ж себе? > В

Re: Сравнение веток Рефала

On Tue, Feb 26, 2019 at 2:17 PM Arkady Klimov arkady.klimov_AT_gmail.com < refal@botik.ru> wrote: > Нет ли тут каких эффектов, что если мы по длинному списку бежим быстрее > (меньше действий), то все начинает работать медленнее? Может из-за каких-то > свойств кэша? > Да, кеш – первый

Re: Сравнение веток Рефала

On Wed, Feb 20, 2019 at 8:41 PM Александр Коновалов a.v.konovalov87_AT_mail.ru wrote: > > > (Получилось очень длинно. Интересно, кто-нибудь дочитает до конца?) > Дочитал!  Александр, большое спасибо за замечательный обзор и отличий синтаксиса Рефалов, и основных принципов реализации. Выгружу

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

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

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

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: Коллапсируюшее представление данных

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

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

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

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

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

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

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

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

Добрый вечер! Я занудно меняю сабж, приписывая "Рефал Плюс", а то тред "Синтаксический анализ в Рефале" уже перегружен и обсуждение ушло с основной темы. Архивируемая рассылка ценна тем, что потом в ней можно находить ценную информацию. Для этого треды должны быть короткими, а сабжи – называть