Re: Совместное совещание по Рефалу 17 июня

2023-06-21 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Всем добрый день! Когда-то, еще в 80-е и даже 90-е "в воздухе висела" как бы задача строить, улучшать, развивать реализации рефала, последний всплеск пришелся на нулевые - Refal Plus, Refal-Java. Сейчас этого вроде бы нет, возможно поэтому и возникает ощущение, что Рефал умер... Но: в том же МГТУ

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

2023-04-09 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Я подумал, что ЧатГПТ будет правильным использовать как источник информации по каким-то профессиональным темам. Решил начать с динамических частичных вычислений, которые меня реально интересуют. Результаты меня потрясли. (К сожалению, форматирование выдачи несколько кривое для вставки в письмо. Поэ

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

2023-04-07 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
А вот chat.openai.com вполне разумный дал ответ на тот же вопрос. At what time of the year does twilight pass faster? Twilight is the period of the day when the sun is below the horizon but its rays illuminate the sky. It is divided into three stages: civil twilight, nautical twilight, and astrono

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

2023-04-07 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Еще я задал вопрос по школьной астрономии Вот ответы от gpt-chat-bot.ru/ . По-моему, полная чушь. В какое время года сумерки протекают быстрее? Сумерки протекают быстрее весной и осенью, когда день и ночь примерно равны по продолжительности. В летние месяцы сумерки длительнее из-за более длительног

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

2023-04-07 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
А ты какую модель использовал: GPT-3.5(turbo) или GPT-4? Пишут, что первая в 20 раз дешевле и втрое быстрее, но менее точная. Я пользовался https://chat.openai.com/chat, там не пишут про модель, надеюсь четвертая, только за деньги (20$ в месяц) будет лучше с приоритетом исполнения. Только пришлось

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

2023-04-07 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Даже чуть раньше - еще на словах Так как диагональ ромба является диаметром окружности, то она равна 2R. Тут ОНО перепутало ромб с прямоугольником (диагональ ромба с диагональю прямоугольника). пт, 7 апр. 2023 г. в 17:29, Andrei Klimov andrei_AT_klimov.net < refal@botik.ru>: > On Fri, 7 Apr 202

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

2023-04-07 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
А вот еще задачка, теперь по школьной геометрии: 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 rhombus? - Let ABCD be the rectangle inscribed in a circle of radius R, where AB

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

2023-04-07 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Мне кажется, было бы интересно задать ЕМУ вопрос, который когда-то самого интересовал и до ответа на который когда-то с трудом докопался. Насколько ОНО могло бы тогда помочь? Вот я вспомнил одну свою задачку. Будем играть в такую игру (сам с собой). Перед нами 5 лунок, в которых могут лежать камешк

Re: Refal и ChatGPT 4.0

2023-03-31 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Мое первое впечатление было от этого примера, что этого ИИ как "студента" или "научного сотрудника" можно охарактеризовать словами "наглый профан". Наверно преподаватели сталкивались с такими типажами студентов и это довольно неприятно. Они готовы нести всякую правдоподобную наукообразную ахинею, з

Re: Re[2]: рефал всё же скорее умер :(

2023-02-20 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
А, понятно, спасибо. Я не знал такой аббревиатуры. С таким режимом знаком, да, это удобно (python, sml, matlab). И в Рефале-6 я этим пользуюсь. Функция ask его вызывает. Из командной строки: ri i+*ask. И дальше можно набирать вызовы функций, скажем, . Однако тут можно только вызывать только функции

Re: рефал всё же скорее умер :(

2023-02-20 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Спасибо, Бойко, это очень дельно. Хочу только уточняюще спросить: что такое REPL? пн, 20 февр. 2023 г. в 11:55, Boyko Bantchev boykobb_AT_gmail.com < refal@botik.ru>: > На теме живучести Рефала позволю себе вставить свои 2 копейки (или > 2 стотинки). > > Живучесть языка зависит от привлечения к

Re: рефал всё же скорее умер :(

2023-02-17 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Это видимо о том, что котик Шредингера может быть и жив и мертв одновременно. Зависит от наблюдателя. пт, 17 февр. 2023 г. в 18:21, Стеллецкий Василий sw710_AT_yandex.ru < refal@botik.ru>: > > И ничему-то нас Шредингер не научил... > Виноват, Сергей Михайлович, не понял. > А чему нас не научил Ш

Re: Музейная ссылочка

2021-08-11 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Да, написано с уважением, но без понимания (типа слышал звон ...). Написал бы я коммент, да не нашел как. А автор там указан - Антон Семин (справа вверху). Аркадий пн, 2 авг. 2021 г. в 10:29, Александр Гусев gusev_aleksandr_AT_mail.ru < refal@botik.ru>: > Добрый день, коллеги! > > Интересную ссыл

Re: Рефал "мертв"? Да здравствует Рефал.

2021-06-23 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Не, не противоречит. Может я неточно выразился: "минимализм" тут как бы относительный, это как "цена" в соотношении "цена-качество", где "качество" - это богатство выразительных средств. Цена чуть больше, но качество много больше. Но конечно, возникает вопрос: а что, собственно, мы получаем взамен

Re: Re[2]: Рефал "мертв"? Да здравствует Рефал.

2021-06-23 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Попытаюсь тоже конкретизировать свое представление о рефал-мышлении. 1. Рекурсивный функциональный стиль - да, но это есть и в Лиспе (и многих других языках). 2. А прежде всего - представление об элементарном шаге как о дереве решений, причем не обязательно двоичном, где на ветвях - предикаты, выра

Re: Re[2]: Рефал "мертв"? Да здравствует Рефал.

2021-06-21 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Добрый день, Василий! Не знаю за других, но я сидел неделю в отпуске на даче и комп не включал. Поэтому и молчал. Я поддерживаю мысль о специфическом рефал-мышлении. Когда-то, не имея рефала под рукой, приходилось писать на С алгоритмы логического вывода - так я их просто записывал на рефале на бум

Re: Re[2]: Рефал "мертв"? Да здравствует Рефал.

2021-06-21 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Добрый день, Василий! Не знаю за других, но я сидел неделю в отпуске на даче и комп не включал. Поэтому и молчал. Я поддерживаю мысль о специфическом рефал-мышлении. Когда-то, не имея рефала под рукой, приходилось писать на С алгоритмы логического вывода - так я их просто записывал на рефале на бум

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

2021-05-25 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Завтра, в среду, 26.5, мы с Андреем выступаем с докладами на XXII Международной конференции Харитоновские Тематические Научные Чтения "Суперкомпьютерное моделирование и искусственный интеллект", которая проходит в регулярно в Сарове. Секция 2: 9.10 – 9.30 ДЕТЕРМИНИРОВАННОЕ ПАРАЛЛЕЛЬНОЕ ПРОГРАММИРО

Re: Вопрос к выпускникам физматшкол или математикам/программистам

2021-05-12 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Первая задача мне показалась весьма сложной, а вторая - наоборот, столь простой, что я даже сначала подумал, нет ли какого подвоха, вроде не нашел и успокоился. О первой думал долго (больше 5 минут, наверно), нашел простой вариант с нарушением непрерывности в одной точке, и долго не мог понять, как

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

2021-05-11 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Да тоже плохо помню, могу сказать только вообще, что непрозрачность это как бы дополнительная фишка, о которой надо еще позаботиться, а без нее все проходит через стек переходов (вроде бы), который и так уже есть для образцов со многими е-переменными. К слову, хотел бы заметить про неортогональнос

Re: Refal6-basic

2021-03-27 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
*"Данный суперкомпилятор умел повышать местность функций и распознавал «параметры-призраки» — параметры, при передаче значений в которые не нужно инкрементировать счётчики ссылок."* Хочу уточнить, чтобы не было недоразумений, что "полусуперкомпилятор" из Рефала в С состоял из двух отдельных часте

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

2021-02-16 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Мы ведь обычно проводим в начале апреля семинар памяти Турчина. Если в этот раз получится (по Zoom), можем обкатать и рекомендовать что-то и на PSSV. Надеюсь, еще не поздно будет? Аркадий вт, 16 февр. 2021 г. в 17:09, 'Shilov Nikolay' via Метавычисления и специализация программ : > (1) Вот ссылка

Re: Конференция МЭС - 2020

2021-02-04 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Александр, добрый день! Очень интересная идея, спасибо! Мне она не приходила в голову. Аркадий чт, 4 февр. 2021 г. в 11:23, Александр Коновалов a.v.konovalov87_AT_mail.ru : > Доброе утро, Аркадий! > > *«Есть и другой вариант — использовать модель стека в форме слова > в некотором алфавите. Мощнос

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

2021-02-02 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Александр, спасибо, однако я пока не уверен, что понимаю, что это за штука такая. Не могли бы Вы еще добавить в Ваш док небольшое описание возможных сценариев использования, от начинающих изучать рефал до каких-то продвинутых приложений. И немного подробнее по взаимодействию между задачами и пользо

Re: Конференция МЭС - 2020

2021-02-02 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Александр, добрый день! Тоже извиняюсь за задержку, затерялось Ваше письмо. Вопрос хороший, я постоянно (время от времени) подумываю насчет реализации Рефала в этой модели. Да, видимо тут нельзя предложить какой-то общей интерпретации индексов. В обычных задачах у нас индексы имеют содержательный п

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

2020-12-28 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Форвардирую для информации -- Forwarded message - От: Arkady Klimov Date: пн, 28 дек. 2020 г. в 21:05 Subject: Re: «Problems’ Day» Wed 30.12.2020 9:00 in Zoom - New Year's Eve meeting of the CS&SE Interlaboratory Seminar Novosibirsk + Innopolis + ... To: Hello, Nikolai. I wish

Re: Рефал-5, Рефал Плюс и форматы

2020-12-25 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Александр, Вы же сами пишете, что частью языка Рефал Плюс являются форматы, - это и есть то решение, которое и предполагалось, и осуществлено в Рефале Плюс. Что касается компиляции Рефала-5 в бэкенд Рефала Плюс, то именно предполагалось, что форматы будут по возможности выявляться динамически, по к

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

2020-12-14 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Я тоже начал было писать про "настоящее выворачивание", но Александр меня опередил. Да, это оно самое. Мне такой стиль не нравится, и сам я так не пишу. Возможно, потому, что Рефал-6 позволяет не экономить на копированиях, и я предпочитаю рекурсивный стиль. Но хочу высказаться в защиту этой формы,

Re: Конференция МЭС - 2020

2020-09-16 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Сообщаю интересующимся, что наконец залил презентацию своего доклада (в формате pptx). Надеюсь теперь будет понятнее, а то статья получилась сумбурная и потому трудно читаемая. Ее, как и статью, можно найти среди докладов (скажем, по фамилии автора) в разделе *Доклады* сайта конференции http://www.

Конференция МЭС - 2020

2020-07-16 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Отвечая на просьбу организаторов конференции, сообщаю коллегам о том, что проводится в режиме заочного интернет-форума Всероссийская с международным участием научно-техническая конференция *"Проблемы разработки перспективных микро- и наноэлектронных систем"* *МЭС-2020* Зарегистрировавшись на порт

Об ИЛИ-параллелизме (Re: Re[2]: Семинар по метавычислениям ...)

2020-05-26 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Да, конечно, это непросто. Я обычно предполагал, что при порождении ИЛИ-группы будет создаваться некий общий объект типа Bool, который сбрасывается, когда кто-то закончит, и он всем по ссылке передается, чтобы поглядывали, и если он сброшен, то пора отменяться. Насчет вложенности особо не думал пок

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

2020-03-23 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Я бы упомянул еще один вид параллелизма - ИЛИ-параллелизм. В строгом смысле в рефале места для него сейчас нет. Было бы, если бы кроме отождествления "слева" и "справа" добавить "любое" - подходит любой вариант длины открытой е-переменной. Или если ввести "машинную операцию" типа = применять tF к

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

2020-03-22 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Немного встряну про параллелизм. Имхо существенное ускорения получается там и тогда, когда единицы распараллеливания достаточно крупны (при том, что их достаточно много). Сегодня это не менее 10 мкс или 10 Кфлоп. Собственно, об этом упоминал Леонид (проблемы функций с малыми временами, накладные ра

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

2020-03-09 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Этого не может быть! Я только что написал в статье по истории рефала для SORUCOM-20 об участии Лени в создании реализации на Минск-32 в начале 70-х, отметив, что им был написан собственно интерпретатор языка сборки - "резидентная часть", как мы ее тогда называли. Причем всего за три дня, а ведь это

Re: Статическая типизация в Рефале

2019-12-06 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
чт, 5 дек. 2019 г. в 21:51, Александр Коновалов a.v.konovalov87_AT_mail.ru < refal@botik.ru>: > Добрый вечер, Аркадий! > > *«Александр, спасибо, что реанимировали старую дискуссию.»* > > Некропостинг эпический. Реанимируем дискуссию 20-летней давности. Когда Вы > писали то письмо, мне было 12 лет.

Re: Статическая типизация в Рефале

2019-12-05 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Александр, спасибо, что реанимировали старую дискуссию. Считаю, эта тема по прежнему трепещет и требует внимания. Поэтому я даже перенес тексты писем моего и Михаила в docx-файлы, которые прилагаю. Правил только форматирование, содержание сохранил вплоть до стилистики. Тему вынес в имена файлов. Те

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

2019-12-02 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
О, спасибо! Получилось! пн, 2 дек. 2019 г. в 21:07, Александр Коновалов a.v.konovalov87_AT_mail.ru < refal@botik.ru>: > Добрый вечер, Аркадий! > > Его можно читать. Открываете ссылку в Internet Explorer, щёлкаете правой > кнопкой мыши, «Кодировка» → «Дополнительно» → «Кириллица (KOI8-R)». > > В б

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

2019-12-02 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
вс, 1 дек. 2019 г. в 21:18, Александр Коновалов a.v.konovalov87_AT_mail.ru < refal@botik.ru>: > > Статическая типизация Рефала обсуждалась в этой рассылке в незапамятные > времена (KOI8-R): > > https://mazdaywik.github.io/direct-link/refal-botik-ru/refal/0005.html > https://mazdaywik.github.io/dir

Re: Нужны ли вещественные числа в Рефале?

2019-11-28 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Александр, как же так, вы же писали что в синтаксисе вещественных констант нет, как же это вы скомпилировали, и выполнили? У меня это тоже не компилируется, точнее неправильно компилируется. Но в самом рефале вещественные числа есть. Вопрос в том, как получить первое число. Если вещественное сложит

Re: Нужны ли вещественные числа в Рефале?

2019-11-27 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Как инструмент изготовления картинок SVG наверно вариант, но там была нужна интерактивность, были также средства принимать сигналы от мышки, а это можно делать только через экран. Зачем это "нужно было мне"? Просто чтобы на рефале писать интерактивное приложение с богатым графическим UI, включающем

Re: Нужны ли вещественные числа в Рефале?

2019-11-27 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
А я не понимаю, почему для совместимости с Р5 нужно было вводить в Р5λ целые числа в том же уродливом формате, как в Р5. Вот например в Р6 целое это всегда символ, но это не мешает для выполнения под Р6 программ на Р5 сделать переопределение нужных функций. В Р6 я так сделал все переопределения в

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

2019-10-10 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
чт, 10 окт. 2019 г. в 18:32, Sergei M. Abramov abram_AT_botik.ru < refal@botik.ru>: > День добрый, всем! > > > То есть для последнего "поколения" эта работа лишняя. > > А что такое последнее поколение, если я строю список всех простых > чисел? > > Да, всех, но не сразу ведь. Сначала весь начальный

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

2019-10-10 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Александр, а можно попросить вас пропустить вариант для 176100 вместо 4 - тогда результаты (времена) будут сопоставимы. Я подумал еще об одной оптимизации. Сейчас произведение простых формируется сразу, а ведь оно может и не понадобиться. То есть для последнего "поколения" эта работа лишняя. На

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

2019-03-07 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Спасибо, Александр, Вы совершенно точно описали проблему, связанную с моим вопросом к авторам реализации Р+. Да, вопрос в том, как будут работать "дырки" вокруг образа, если выражение "дышит": не только наращивается, но и сокращается иногда, а потом снова наращивается по-новому. Тут поведение сильн

Re: Векторно-списковое представление Скоробогатова

2019-03-05 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Идея интересная (сужу пока только по аннотации-письму), жаль, что так и не опубликовали - это нужно ведь не только для автора. Можно представить разные направления развития, а сослаться-то и не на что. А я так и не понял, оно было реализована в рефале-7 (помимо курсовой Медведевой)? Аркадий пн, 4

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

2019-03-03 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Все это верно, но это же не имеет отношения к примеру о цепочках из учебника по Р+. Рекурсия там - не хвостовая. И как писал Юра (26.02): <<< Пример с двумя iter из документации в приложении. Требует heap'а чуть поменьше (1ГБ против 2ГБ). Считает 10.5 секунд. >>> Значит, все-таки требует ГБ heap-a.

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

2019-03-02 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Спасибо, Антон. Я ожидал меньшего (ускорения). Но может это пока аргумент относительно мал (1, да?). Для 10 будет, думаю, слабее. Число вызовов растет, грубо говоря, линейно, а время квадратично. Аркадий сб, 2 мар. 2019 г. в 09:26, Anton Orlov orlovan_AT_gmail.com : > > > On Fri, Mar 1, 2

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

2019-03-01 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Чтобы понять, лучше ли iter чем рекурсия, я переделал последний вариант EX1 (хотя рекурсия там тоже не настоящая, хвостовая) через $iter. Антон или Юра, сможете пропустить? А то я пока не умею этого. Правда, вряд ли заметно ускорится, поскольку основное время здесь, по-видимому, уходит все-таки на

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

2019-03-01 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
пт, 1 мар. 2019 г. в 00:49, Anton Orlov orlovan_AT_gmail.com : > > А за счёт чего получается экономия при выносе первых термов? > Что переставляется при движении по выражению один указатель (на терм), а > не два (на конец левого подвыражения и на начало правого)? Я не думаю, что > здесь можно суще

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

2019-02-28 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Да, 1.5%, не густо. В принципе, конечно, пусть дальше думает С++. Но текущий вряд ли догадается чего-то вытащить из функции. А в Р6 v-переменные еще на входе заменяются на t e, поэтому первые термы отдельно сравниваются. И поэтому накладные на подготовку цикла сравнения (vA vA e) уже не столь значи

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

2019-02-28 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Мда, как я понял, код для eR : vA vA e далек от оптимальности. На каждое очередное удлинение первой vA: 1. Проверяем, что не дошли до конца eR. 2. Вычисляем длину vA (len6) и длину дополнения vA до eR (len5). 3. Проверяем, что не (len5 < len6) -- этим обеспечивается удлинение до половины 4. Вычисля

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

2019-02-28 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Кстати, Антон, а правильно я понимаю, что в нынешней реализации Р+ при отождествлении образца vA vA e первая vA удлиняется только до половины длины аргумента? В противном случае (если удлиняется до конца аргумента) разница по эффективности между удлинением и Iter еще вдвое больше. чт, 28 февр. 201

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

2019-02-28 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Там есть и небольшое содержательное отличие, хотя оно зависит от того, с какой стороны идет сравнение выражений eU : eV. Если, как естественно предположить, слева, то это и создает некоторую разницу. Наращиваем направо, удлиняем справа налево, а сравниваем слева направо. Вопрос теперь в том, не буд

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

2019-02-28 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Я потом подумал, что все дело просто в том, что на длинных списках процесс "висит" на доступе к памяти. На небольших помогает кэш. До 1 элементов, это наверно в L2 влезает. Потом еще был такой эффект: при повторении вызова без перезагрузки ri.exe работа обычно замедлялась - до полутора раз. Эт

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

2019-02-27 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Спасибо, Александр, да, этот текст дает определенное представление о Вашей версии языка. Думаю, можно и нужно сделать на него ссылку с сайта refal.net. Там есть общий раздел "Диалекты", в котором под заголовком с названием "диалекта" даются ссылки на возможно другие ресурсы. Только для единообразия

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

2019-02-26 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Василий, Ваши результаты меня удивляют. Вроде для 1 время выполнения ожидается в 100 раз меньше, чем для 10. А у Вас первый проходит "менее чем за минуту", а последний - "более чем 5,5 минут". Формально, конечно, нет противоречия. Вы не ошиблись? Замерьте, пожалуйста, еще раз для тех же раз

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

2019-02-26 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
У меня на ноуте c Intel Core i7 3630 QM 2.4GHz на Рефале-6 для исходного варианта EX1 (только ошибку исправил, то есть все как в Рефал+) такие результаты (в секундах): 11.04 23.93 415.91 865.03 10 102.41 20 418.17 Рост чуть бо

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

2019-02-26 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Юра! Ты нигде не написал, какой у тебя был аргумент. 1? А ошибку я тоже у себя нашел, спасибо. Арк PS. У себя на Рефал6 нашел странности. Для начала проверил, что отождествление vA vA e транслируется также как и ta eA ta eA e. Это нормально. Но поиск старого терма делается без оптимизаций, на

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

2019-02-25 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Доделал свой итеративный вариант, он проходит без увеличения памяти и стеков до N=10 (сто тысяч) за 1м40сек (100 сек). 1 (десять тысяч) проходит за 1 сек. // Здесь строка eS еще не проверена на отсутствие повтора в ее начале EX1 sN eS : { // Goal! 0 e = eS; // eS is unacceptable sN v

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

2019-02-25 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Сергей, там два $Iter-а: один во вспомогательной функции Unacceptable? (распознает присутствие равных смежных подстрок), он действительно по (половине) длины строк и соответствует моему образцу vA vA e, а другой - внутри основной функции Extend?, он всего на 3 итерации и соответствует моему клэшу:

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

2019-02-25 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Я не только дочитал, наконец, но и внес свои правки-дополнения (в раздел по Рефал-6, и чуток по Рефал Плюс), поместив этот замечательный текст в doc-файл, который можно взять по ссылке: https://www.dropbox.com/s/eq4yv9g7atu59d7/CompareRefals.doc?dl=0 Я подумал, что хорошо бы моему примеру последо

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

2019-02-22 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Антон, спасибо, я тоже решил на этом коде немного поупражняться в чтении и понимании Рефала-Плюс, что дается мне нелегко. Вроде все разобрал, но при этом мне показалось, что тут есть ошибка (в смысле, что результат не лучший). А именно, что будет в результате ? Я бы ожидал результат (VVAR), но тут

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

2019-02-20 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Вопрос интересный, попытаюсь ответить за Антона как я планировал, если б занялся погружением рефала-6 в ту инфраструктуру. Первый вариант - да, все функции имеют общий формат $func eX = eX; Затем, возможны варианты, один из которых - что-то типа псевдокомментариев. Интересен также вариант отображен

Re: Потенциальная востребованность

2019-02-20 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Дмитрий, комплекс Ваших пожеланий к "вводному учебнику для начинающих" мне не очень понятен. Не могли бы Вы привести пример существующего такого рода учебника по какому-то из других распространенных языков, который можно было бы рассматривать как образец для подражания. Также хотелось бы услышать б

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

2019-02-14 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Леонид, а на какой предмет мы хотим тут сравнивать? Просто как пишется, визуально? Или по эффективности выполнения? Если второе, то не слишком ли мелкий пример? Надо бы, как сейчас говорят, нагруженное приложение-вычисление предлагать. Чтобы и времени и памяти надо было много (а не просто линейно о

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

2019-02-14 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Я не успел вовремя заметить появление новой ветки, поэтому теперь копирую сюда свой ответ Александру Гусеву (с небольшими стилистическими правками). --- А существует где-то краткая информация по сравнен

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

2019-02-14 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Насколько я знаю, в каком-то законченно-оформленном виде такой информации сейчас нет. Сейчас у меня появилась мысль, и хочу всем апологетам того или иного диалекта, написать небольшой текст в свободной форме на 2-3-5 страниц с описанием особенностей их "любимых" версий языка и их реализаций - что

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-11 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Может ли кто ответить на такие вопросы по реализации Рефал+ на C++ (в статье они не обсуждается - не тот уровень абстракции): 1.Какая организована работа с памятью? Какой менеджер памяти используется? Свой или каждый новый чанк через malloc запрашивается? 2.Используются ли счетчики ссылок? Или пол

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

2019-02-08 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Вы читали недавнюю переписку под заголовком "Синтаксический анализ в рефале"? Там была некоторая информация о некоторых реализация. Например, в моих письмах от 1 февраля. пт, 8 февр. 2019 г. в 18:35, Александр Гусев gusev_aleksandr_AT_mail.ru < refal@botik.ru>: > Доброго времени суток всем! > > Я

Re: Плохой суперкомпилятор Рефала как неплохой оптимизатор

2019-02-06 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
вт, 5 февр. 2019 г. в 18:00, Александр Коновалов a.v.konovalov87_AT_mail.ru : > > И ещё вопрос: почему суперкомпилятор Николая Кондратьева называется > «полусуперкомпилятором»? > > Наверно, потому же, почему вы свой называете "плохим". Просто, чтобы не претендовать на полноценность. Аркадий > > >

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

2019-02-02 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Пересылаю в группу письмо Игоря. Он пишет, что писал в группу, но безрезультатно. Да, я оттуда тоже это письмо не получал. Может у Игоря что-то не так с доступом? Аркадий -- Forwarded message - From: Щенков Игорь Date: сб, 2 февр. 2019 г. в 12:54 Subject: Re: Синтаксический анализ

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

2019-02-01 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Машинные операции - мы сейчас обычно используем термин "встроенные функции" - обычные более менее, распараллеливания нет. В явском варианте, наверно, нетрудно сделать что-то через RPC (remote procedure call) Есть ящики-вектора (модифицируемые), хранящие плотно упакованные выражения по 4 байта на си

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

2019-02-01 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Добрый вечер, Александр! пт, 1 февр. 2019 г. в 18:56, Александр Коновалов a.v.konovalov87_AT_mail.ru : > Добрый вечер, Аркадий! > > *«Интересно услышать, что практикующие (практиковавшие в прошлом) > рефал-программисты считают сложным в новых версиях языка (5-6-плюс-7).»* > > Интересный вопрос. Я

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

2019-02-01 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Да наверно можно пользоваться любым из упомянутых, хотя лично я, конечно же, привержен рефалу-6, как его соавтор в какой-то мере. Документацию (подробное описание входного языка с примерами) можно посмотреть на сайте refal.net: http://refal.net/~arklimov/refal6/manual.htm Там есть и дистрибутив, но

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

2019-02-01 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Интересно услышать, что практикующие (практиковавшие в прошлом) рефал-программисты считают сложным в новых версиях языка (5-6-плюс-7). Вложенные блоки? Откаты? Условия? Сам я считаю лишними только разные экзотический элементы вроде отсечений-заборов, отрицаний, $iter, двойного двоеточия. Откаты-бло

Re: визуализация исходного кода и структур данных

2019-01-30 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Хм, возможно Вам будет интересен вот этот проект https://blockly-demo.appspot.com/static/demos/code/index.html?lang=en#znbt8h Меня тоже оно заинтересовало, поскольку хочется в визуально-графовой форме создавать и обрабатывать программы в некоем специальном представлении. Пока думаю, что это наиб

Re: Плохой суперкомпилятор Рефала как неплохой оптимизатор

2019-01-30 Пенетрантность Arkady Klimov arkady . klimov_AT_gmail . com
Вы правы, Александр. Что интересно, такой проект существовал (может вы уже слышали о нем?), его инициировал Николай Кондратьев на рубеже 80/90-х, и я немного лепты внес. Собственно, оттуда и пошел Рефал-6. Но кроме собственно Рефала-6, который и сейчас активно используется (по меньшей мере мной), б