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

Добрый вечер всем! Коллега Михаила Потанина уже начал готовить сборку пакета для пакетного менеджера Nix: https://github.com/bmstu-iu9/refal-5-lambda/pull/363 И выяснилась любопытная проблема — Рефал-5λ не совместим с утилитой strip: https://github.com/bmstu-iu9/refal-5-lambda/issues/364 Утилита s

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

Добрый вечер, Михаил! В своём ответе также отвечу на несколько соседних писем. По поводу установки онлайн и офлайн. Для разработки доступ в интернет требуется, т.к. сборочные скрипты bootstrap.bat и bootstrap.sh выкачивают подмодуль. Впрочем, разрабатывать без интернета не очень логично, т.к.

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

Добрый день, Михаил! На данный момент в системе контроля версий, на сколько мне известно, живут интерпретатор Рефала-2: https://github.com/cmc-msu-ai/refal и мой Рефал-5λ: https://github.com/bmstu-iu9/refal-5-lambda Первый уже 6 лет не обновляется, второй активно развивается. Остальные лежат

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

(Перенаправляю письмо в рассылки) From: Shilov Nikolay Sent: Thursday, July 8, 2021 5:11 AM To: n.shi...@innopolis.ru Subject: Приглашение на онлайн семинар ruSTEP в пятницу 9 июля в 12:00 мск (=16:00 нск). Уважаемые подписчики новостей о предстоящих заседаниях ru-STEP! (ruSTEP=russian

RE: IV совместное совещание ИПС РАН — МГТУ по Рефалу

Добрый день всем! Вывешены слайды с IV совместного совещания: http://refal.botik.ru/events/events.htm http://refal.botik.ru/events/IPSRAN-MGTU-seminar-08-06-2021.pdf Дмитрий Иванович Костин читал доклад без слайдов (рассказывал и писал на доске), поэтому слайдов нет. Возможно, он со временем пр

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

Добрый вечер всем! Слайды к сегодняшнему докладу: https://mazdaywik.github.io/direct-link/2021-06-11-Konovalov-Introduction-to-Refal.pdf Исправил обнаруженные опечатки. На слайдах была написана функция объединения множеств, но называлась она Intersect, на что обратила внимание Антонина Николаевна

IV совместное совещание ИПС РАН — МГТУ по Рефалу

Добрый день всем! Во вторник, 8 июня в МГТУ имени Н. Э. Баумана пройдёт традиционное IV совместное рабочее совещание ИПС имени А.К. Айламазяна РАН и МГТУ имени Н.Э. Баумана по функциональному языку Рефал С докладами выступят сотрудники ИПС и преподаватели и студенты МГТУ. Совещание посвящено яз

8 июня рефал-семинар ИПС РАН и МГТУ

Добрый вечер всем! 8 июня у нас в Бауманке пройдёт традиционное IV совместное рабочее совещание ИПС имени А.К. Айламазяна РАН и МГТУ имени Н.Э. Баумана по функциональному языку Рефал Как и прежде, тематика семинара - Рефал и метавычисления над ним. Как и прежде, выступят сотрудники ИПС РАН и пре

RE: Генератор билетов по компиляторам

Спасибо! -Original Message- From: Скоробогатов Сергей Юрьевич skorobogatov_AT_bmstu.ru Sent: Wednesday, May 26, 2021 12:17 PM To: Александр Коновалов a.v.konovalov87_AT_mail.ru Subject: Генератор билетов по компиляторам Кодировка -- KOI8 :-)

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

Доброе утро, Андрей и Аркадий! Спасибо за интересные доклады! С уважением, Александр Коновалов From: metacomputation...@googlegroups.com On Behalf Of Andrei Klimov Sent: Tuesday, May 25, 2021 8:17 PM To: metacomputation-ru Cc: refal@botik.ru Subject: Re: Харитоновские Научные Чтения - 2

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

Добрый вечер, Александр! «Моя логика такова: использование персоналок будет однозначно сокращаться, а код, на них ориентированный, плохо переносится в другие перспективные нынче среды, такие как интернет-серверы, интернет-клиенты и различные гаджеты.» Вероятно, Вы правы, нужно думать о поддержк

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

Александр! Эквивалентность меня интересует одна — равенство значений одноимённых переменных в образце. Т.е. какими свойствами должна обладать эта встроенная в язык проверка на равенство, чтобы не было логических противоречий. Есть две границы, за которые выходить нельзя. С одной стороны, копии

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

Добрый вечер, Александр! «1. Описать и обсудить с сообществом строгую математическую модель ссылки: что это, какие возможны с ней действия и т.п.;» На самом деле, про математическую модель ссылки подробно рассказывал Андрей Климов на нескольких предыдущих семинарах. Анонсы этих семинаров в расс

Язык реализации рантайма (было: Рефал-семинар 17 мая 2021 в 10:30 в Zoom'e)

Добрый вечер, Александр! «Бьёрн Страутструп упорно доказывал, что эффективность ++ не ниже, а иногда и выше, чем С на то время.» Знаем эти басни. Эффективность достигается объёмом кода и временем компиляции. Функция qsort() языка Си принимает указатель на функцию сравнения и для каждого сравне

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

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

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

Добрый день всем! Публикую слайды прошедшего семинара: https://mazdaywik.github.io/direct-link/2021-05-17-Konovalov-Closures-and-Optimizations-Refal-5-lambda.pdf Краткое содержание: я рассказал про Рефал-5λ, про оптимизации, реализованные в нём, привёл примеры того, что оптимизации реализуют не

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

Добрый день, Николай! «Когда я писал компилятор в язык сборки, то обнаружил, что непрозрачность блоков для неуспехов неудобна для реализации.» А чем неудобна? С уважением, Александр Коновалов From: nikolai.kondratiev_AT_gmail.com Sent: Sunday, March 28, 2021 11:42 PM To: refal@botik.ru

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

Добрый день всем! «В свое „оправдание“ могу только сказать, что не люблю такой неортогональный синтаксис и такую тонкую семантику: откаты вроде бы и есть, а вроде бы их и нет.» Я бы не назвал такой синтаксис неортогональным. Здесь важно понять логику языка. Рефал-5 является относительно консер

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

Добрый вечер, Андрей! В Рефале-5 запятая для откатов прозрачна. Не прозрачны для откатов только фигурные скобки — блоки после двоеточия и сами вызовы функций. Поэтому результатное выражение после запятой неуспеха породить не может (по  определению), а образец после двоеточия — запросто. Синтакс

Re: Refal6-basic

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

Re: Refal6-basic

Доброе утро, Андрей! А Рутен подписан на эту рассылку? Просто у меня есть свои идеи на этот счёт, интересно было бы с ним обсудить. Идея в том, каким должно быть подмножество КС-грамматик, на котором описываются типы в программах на Рефале. Это подмножество замкнуто относительно операции над м

Re: AW: Refal6-basic

Доброе утро, Николай! Архив нужно создавать с исключением файлов *.ipch и *.db. Они пересоздаются Visual Studio автоматически и занимают очень много места. Команда для архивации тогда будет такой:- Gnuwin32\zip -r ..\..\Refal6b.zip ..\..\Refal6b -x *.ipch -x *.db Архив будет иметь разумный объ

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

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

Re: Refal6-basic

Добрый вечер, Николай Викторович! Вот и всплыл в интернете ещё один фрагмент мозаики в истории Рефала. На сайте refal.ru есть такие слова Аркадия Климова: В середине 80-х В. Турчиным предложен язык Рефал-5, который содержит Базисный рефал в качестве подмножества. Расширения языка Рефал-5 качеств

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

Добрый день, Андрей Валентинович! Может быть, Турчин, Бэкус и МакКарти втроём на какой-нибудь конференции встретились и идея синтаксиса родилась в ходе совместной беседы. В общем, теперь я буду знать две версии происхождения угловых скобок. С уважением, Александр Коновалов From: Andrei Klimo

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

Добрый день, Сергей Михайлович! Про знаки < и > мне рассказал Андрей Петрович Немытых и он упоминал МакКарти. Цитирую переписку: Я: «Рефал-4 был предложен Романенко в 1987 году, когда Турчин уже обосновался в Америке и даже написал «The Concept of a Supercompiler». Кстати, в этой статье он у

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

Добрый день, Александр! «Что касается блоков и, соответственно, области видимости переменных, то блоки я как раз пока что не принял. Мне кажется, что они сильно усложняют чтение и понимание чужих программ.» Многое зависит от форматирования кода. Я встречал программы с блоками и условиями, кото

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

Добрый вечер, Александр! «Читая как-то информацию о Рефале в сети, наткнулся на упоминание отсутствия вложенных функций как недостатка языка.» Интересно понять, что конкретно имелось ввиду, потому что «вложенная функция» — понятие растяжимое. В языках программирования, где вложенные функции ест

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

Доброе утро всем! «Такую сессию можно организовать совместно с ежегодным Рефал-семинаром (если Александр Коновалов и другие организаторы семинара не будут возражать).» Совместные семинары я ни разу не организовывал, не знаю как это делается. Семинар, который мы организуем в Бауманке, привязан

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

Аркадий! Недостаток этой схемы генерации идентификаторов: они всё равно будут относительно длинными, чем при использовании обычной сквозной нумерации. Но есть и преимущества. Во-первых, функции будут чистыми, а значит, будут максимально распараллеливаться. Во-вторых, назначение идентификаторов

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

Андрей! По-моему, можно с теми же слайдами рассказывать то же самое без спешки как минимум 20-30 минут. Вы, по-моему, один или два слайда не успели тогда рассказать. С уважением, Александр Коновалов From: Andrei Klimov andrei_AT_klimov.net [mailto:refal@botik.ru] Sent: Thursday, Febr

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

Добрый день, Андрей! Ваш доклад оказался очень интересным, но по времени втиснуть его с трудом удалось. Планируете ли Вы когда-нибудь прочитать расширенную версию этого доклада, т.е. длиннее 15 минут? Я думаю, он был бы интересен не только мне одному. С уважением, Александр Коновалов Fr

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

Доброе утро, Аркадий! «Есть и другой вариант — использовать модель стека в форме слова в некотором алфавите. Мощность алфавита должна быть не меньше наибольшего числа „параллельных“ (рекурсивных) вызовов в рамках одной функции. Слово-стек легко кодировать целым числом, только длина его в битах

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

Добрый день, Александр! Я правильно предполагаю, что планируется что-то вроде AWS Lambda, но на Рефале? Или же это что-то другое? И присоединяюсь к вопросу Аркадия: нельзя ли чуть побольше конкретики, какие задачи предполагается решать с помощью этого сервера? С уважением, Александр Коновал

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

Добрый день, Аркадий! Прошу прощения за поздний ответ, только сейчас я наконец добрался до этого письма. Вы написали в рассылку refal @botik.ru, и поэтому у меня к Вам вопрос: а можно ли применить этот подход к распараллеливанию программ на Рефале? Или он применим тольк

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

Добрый вечер, Аркадий! Добрый вечер всем остальным! В письме я сначала отвечу на реплики Аркадия, а потом приведу свои соображения по поводу вывода форматов. «Александр, Вы же сами пишете, что частью языка Рефал Плюс являются форматы, — это и есть то решение, которое и предполагалось, и осущ

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

Доброй ночи всем! В принципе, я разобрался, как надо повышать местность и коместность при компиляции Рефала-5 в массивное представление. Могу изложить, как бы я это сделал (а может, когда-нибудь и сделаю, через год, через два). Но сначала я хотел бы узнать, как это предполагалось в Рефале Плюс.

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

Добрый вечер всем! На сколько я знаю, когда-то были планы реализации front-end’а Рефала-5 в компиляторе Рефала Плюс. Т.е. предполагалось использовать компилятор Рефала Плюс для компиляции исходных текстов Рефала-5. (Дальше пишу подробно, поскольку не все подписчики знакомы с рассматриваемой пр

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

Доброй ночи, Николай! Сквозной просмотр был у Турчина в учебнике по Рефалу-5: Глава 3. Основн

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

Доброй ночи, Аркадий! Спасибо за пояснение про намерения Турчина! Это действительно интересно. На самом деле, решение Enum e1 = k/EndEnum/k/DoEnum/e1 /1/.. DoEnum s1 e2 sN = sN k/DoEnum/ e2 k/P1/sN.. (e1)e2 sN = k/DoEnum-Wrap/ (k/DoEnum/ e1 sN.) e2. sN = sN DoEnum-Wrap (e1 sN) e2 = (

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

Василий, не надо пошаговую прокрутку. Я неправильно посчитал скобки. Во входной строке их не 4, а 3, поэтому всё сходится: 3+1=4. From: Василий Стеллецкий swi_AT_cnshb.ru Sent: Monday, December 14, 2020 4:58 PM To: refal@botik.ru Subject: Re: Запахи кода и антипаттерны в Рефале Александр

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

Василий! Разница тут принципиальная. В первом варианте стек был системный, программист писал рекурсивную функцию, явно со стеком не манипулировал. Поскольку программист за стек не отвечает, сломаться стек не может. Во втором случае — стеком явно управляет программист. И он может ошибиться, напр

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

Василий! Выворачивание скобок, оно же сквозной просмотр, — это другое. Это использование стека для представления незакрытых скобок. Например, так: Enum e1 = k/DoEnum/ /0/ ('$') e1 '$'. * Формат: k/DoEnum/ sN (tL eS) eU tR * eS — просканированная часть * eU — непросканированная часть * tL

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

Добрый день, Василий! А если мы пишем для многопоточного Рефала, то статический ящик или копилка не подойдёт. Нужно использовать или динамический ящик, или передавать номер через параметр. Получится как-то так: Enum e1 = k/DoEnum/e1 /0/. DoEnum s1 e2 sN = sN k/DoEnum/ e2 k/P1/sN.. (e1)e2

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

Добрый день, Андрей! «Не согласен! Ещё как имеет. Нельзя не думать об эффективности, выбирая шаблоны программирования, особенно когда речь не о коэффициенте, а об уменьшении сложности, скажем с квадратичной до линейной.» А где возникает квадратичная сложность при сквозном обходе выражений (т.е.

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

Доброе утро всем! > 1. Выворачивание скобок наизнанку, для организации прохода по выражению. К представлению объектных выражений этот приём (антиприём) не имеет отношение. Он, скорее, характерен для базисного Рефала (Рефала-2), в котором нет ничего подобного let-конструкциям (условия, перестро

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

Доброй ночи всем! Давайте обсудим, какие есть запахи кода и антипаттерны в Рефале. Но сначала приведу определения, т.к. с терминами в рассылке могут быть знакомы не все. Если термины знаете, можете промотать кусок письма. Определения Есть два близких, но разных понятия: запахи кода и антипа

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

Не, лучше весной, поскольку практика летняя. Сейчас пока рано. 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: Сравнение веток Рефала Отлично, можем и пораньше, как восстановл

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

Замечательно! Ближе к лету обсудим тогда. 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: Сравнение веток Рефала А вот это здорово, могли бы их подключить

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

Леонид! Если понадобится, наша кафедра может обеспечить Вам студентов на летнюю практику. Студенты у нас умеют программировать на нескольких языках и быстро осваивать новые. У нас вообще способные ребята. Сам порой думаю: кто кого здесь учить должен, я их или они меня. С уважением, Александ

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

Доброе утро, Александр! «Я готов предоставить информацию, только не знаю, в какой форме это лучше сделать.» Выложите на GitHub с длиннющим README.md, или напишите длинное письмо сюда. «Основная проблема в том, что я занимаюсь этим по-прежнему один.» Аналогичная проблема. У меня, правда, есть в

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

Дорогой Андрей Петрович! Я присоединяюсь к поздравлениям Вашего коллеги. Хочу пожелать счастья, здоровья, творческих успехов и условий для творческих успехов! Ведь «служенье муз не терпит суеты». Всего самого лучшего! Александр Коновалов From: Andrei Klimov andrei_AT_klimov.net Sent: F

Третье рабочее совещание ИПС РАН и МГТУ по Рефалу (онлайн!)

Добрый день всем! Завтра, в пятницу, 12 июня 2020 года в 12:00 в МГТУ имени Н.Э. Баумана пройдёт Третье совместное рабочее совещание ИПС имени А.К. Айламазяна РАН и МГТУ имени Н.Э. Баумана по функциональному языку программирования Рефал С докладами выступит сотрудники ИПС и преподаватели и студе

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

Добрый день, Аркадий! А ведь ключевым новшеством параллельного Рефала-05 является распараллеливание с сохранением порядка нечистых функций. Решилось практически ТРИЗовское противоречие: функции должны выполняться параллельно для производительности, функции должны выполняться последовательно из-

RE: Справочник по Рефалу-5λ

Доброе утро всем! По совету Бойко я добавил содержание в справочник: https://bmstu-iu9.github.io/refal-5-lambda/B-reference.html Стало гораздо лучше! Самому нравится! Но добавил я оглавление не только в справочник, но и в другие страницы руководства: https://bmstu-iu9.github.io/refal-5-lambda

RE: Справочник по Рефалу-5λ

Добрый день, Бойко! Спасибо за отзыв! Согласен, оглавления не хватает. Страница сделана на GitHub Pages — в репозитории в папке docs создаётся файл в разметке Markdown и по нему автоматически создаётся web-страница. Но стандартной функциональности для создания оглавлений в GH Pages нет. Сейчас

Справочник по Рефалу-5λ

Добрый день всем! В рассылке я часто упоминал Рефал-5λ, иногда публиковал ссылку на репозиторий с исходниками. Но вот нормальной документации к нему пока не было. И вот она появилась: https://bmstu-iu9.github.io/refal-5-lambda/B-reference.html В справочнике есть почти полное описание языка (не

RE: Сортировка в Рефале-5

Доброе утро! «Так точно. Нулевое время при повторной проверке на равенство (мемоизация) и освобождение пямяти. И это реализуемо во всех представлениях выражений с „подвешенными“ скобками.» Если две пары скобок равны по содержимому, то какой какому присваивать? Можно, например, использовать лес

RE: Сортировка в Рефале-5

Добрый день, Сергей Михайлович! «то оба терма-скобок делаются „такими же“ — в смысле указывают на одно место и имеют равную длину.» И таким образом ещё и может экономиться память: вторая ссылка на равный скобочный терм может оказаться ненужной и удалиться как мусор. Ещё можно показать, что э

Сортировка в Рефале-5

Добрый день всем! Подумалось тут, что можно на Рефале-5 легко написать короткую, но очень неэффективную функцию сортировки: /* == e.Items e.Items ::= (s.Key e.Value)* s.Key ::= s.NUMBER */ Sort { e.L (s.KeyBig e.ValBig) (s.KeySmall e.ValSmall) e.R , : '+' = ; e.Sorted = e.So

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

Добрый день, Сергей! Схема неплохая, реализовать в базовом варианте её просто. Но есть два недостатка: сложность и имя. Чтобы откомпилировать программу в текущей реализации, никаких ключей компиляции учить не надо. Для сборки с ключами по умолчанию достаточно написать srefc исходник1.ref … исх

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

А вот называть интерпретатор rlint явно не стоит. Во-первых, оно занято (аж два раза: раз , два ). А во-вторых напоминает линтер, которого для Рефала-5 пока нет. Но зачаток линтера будет — один из моих дипломников будет

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

Андрей! Понял мысль, спасибо. Менять местами 5 и l я бы не стал. И так иногда их путают (здесь на титульно

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

Андрей! «Цифра 5 в середине наименования Рефала мне не нравится: буква после неё сливается с именем утилиты.» Не понял мысль. From: Andrei Klimov andrei.klimov_AT_gmail.com [mailto:refal@botik.ru] Sent: Tuesday, March 31, 2020 5:52 PM To: refal@botik.ru Subject: Re: Как мне назвать компилят

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

Юрий, извините. Я Вас по ошибке назвал Аркадием. From: Александр Коновалов a.v.konovalov87_AT_mail.ru [mailto:refal@botik.ru] Sent: Tuesday, March 31, 2020 5:42 PM To: refal@botik.ru Subject: RE: Как мне назвать компилятор? Спасибо, Аркадий! r5lam — компилятор, r5lam-make для поиска завис

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

Спасибо, Аркадий! r5lam — компилятор, r5lam-make для поиска зависимостей, r5lam-int или r5lam-go для интерпретатора. Имя r5l можно разглядеть как r5I или r51, а имя r5lam ошибочно разглядеть (если известно, что язык называется Рефал-5λ) будет сложнее. Александр Коновалов From: Yuri Klimo

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

Спасибо, Андрей! Вариант неплохой. Только я бы добавил циферку 5: hor5c, hor5make, hor5go или hor5int для интерпретатора (вернее, загрузчика), который я сейчас пишу. На всякий случай дополню: сам язык я не планирую переименовывать, он так и остаётся Рефалом-5λ. From: Andrei Klimov andrei_AT

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

Спасибо за интересное предложение! Выглядит неплохо, хотя и натянуто. Связь между Рефалом-5λ и r5ac (или ref5ac) не очевидна. Но столь же неочевидна связь и между Рефалом-5λ и srefc. Александр Коновалов -Original Message- From: Boyko Bantchev boykobb_AT_gmail.com [mailto:refal@botik.ru

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

Добрый день всем! У компилятора название есть, такое же как у языка — Рефал-5λ. Но вот чего нет — нет нормального названия для утилиты командной строки. Исторический контекст (можно не читать). Когда-то я разрабатывал так называемый Простой Рефал — диалект, синтаксически похожий на Рефал-5

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

Добрый день всем! Я, прежде чем ответить, ждал презентацию от Станислава (мы договаривались, что он скинет её в рассылку), но он что-то не отсылал и я ответить на письмо забыл. Извините, что так долго. Прозвучало два доклада. Первым был доклад Станислава про распараллеливание Рефала, вторым бы

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

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

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

Добрый день, Александр! Мы скинем слайды в рассылку. Видеозапись на этих семинарах, как правило, не организуют (во всяком случае, я такого не помню). Успехов! Александр Коновалов From: Александр Гусев gusev_aleksandr_AT_mail.ru Sent: Friday, February 28, 2020 2:37 PM To: refal Cc: metacompu

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

Добрый день всем! Напишу краткое содержание трёх частей этой статьи. Статья построена в форме диалога с воображаемым собеседником — на первый взгляд может показаться, что это интервью. Но это не интервью. В первой части статьи http://7i.7iskusstv.com/y2019/nomer9/turchin/ Турчин объясняет осно

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

Добрый день всем! Я не сразу это заметил, но Андрей Валентинович прислал ссылки только на первую и третью части статьи, а есть ещё и вторая: * http://7i.7iskusstv.com/y2019/nomer10/turchin/ С уважением, Александр Коновалов From: Andrei Klimov [mailto:and...@klimov.net] Sent: Fri

RE: Re[2]: семинар ИПС

Добрый день всем! «Тема интересная. А нельзя ли послушать дистанционно? Я не в Москве.» Ну так и семинар не в Москве! J А если серьёзно, когда будет известна дата семинара? Я бы съездил. С уважением, Александр Коновалов From: Александр Гусев gusev_aleksandr_AT_mail.ru Sent: Tuesday, Februar

Наше дело — РЕФАЛ!

Добрый день всем! «Да здравствует Рефал!» Александр мне напомнил песню: ШИТРОК (Оргия праведников) Корни, кровавые корни! Лебеди клином летят на восток, ППШ в моём сердце стрекочет проворно, Выдавая отчизне отменный шитрок. Я скитался по странам, мирам и эпохам, А теперь вот вернулся на отч

RE: Прогонка по Турчину и неуспехи

Добрый день всем! Мне в личке справедливо пожаловались на «многабукаф — ниасилил», поэтому даю конспект письма про прогонку и неуспехи. В первой части письма я кратко написал что такое прогонка, как её определил Турчин, и разобрал прогонку на примере. На этом примере было показано, что прогонка

Перехват ошибок в Рефале

Александр! А что Вы подразумеваете под неуспехами? From: Александр Гусев gusev_aleksandr_AT_mail.ru [mailto:refal@botik.ru] Sent: Wednesday, December 18, 2019 11:28 AM To: Stelletsky V Cc: refal@botik.ru Subject: Re[2]: Прогонка по Турчину и неуспехи Добрый день, Василий! Такая технолог

RE: Прогонка по Турчину и неуспехи

А при ответе на это письмо давайте обсуждать только прогонку в Рефале с неуспехами. From: Александр Коновалов a.v.konovalov87_AT_mail.ru [mailto:refal@botik.ru] Sent: Wednesday, December 18, 2019 1:13 AM To: refal@botik.ru Subject: Прогонка по Турчину и неуспехи Доброй ночи всем! Пришло

Перехват ошибок в Рефале

Доброе утро, Александр и Василий! Исходное письмо было посвящено не обработке ошибок, а тонкостям семантики прогонки. И именно эту семантику мне хотелось обсудить (надеюсь, мне что-нибудь ответят). Но тема обработки ошибок в Рефале тоже интересная, и её тоже стоит обсудить. Поэтому я отправляю

Прогонка по Турчину и неуспехи

Доброй ночи всем! Пришло в голову одно интересное соображение. Но сначала контекст. В 1974 году Турчин описал прогонку как эквивалентное преобразование программы на Рефале (Москва: ЦНИПИАСС, 1974 (

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

Добрый вечер, Аркадий! «В данном контексте „мощнее“ не значит „лучше“ — поскольку сложнее (или невозможно) будет проверять.» Так и есть. В исходной постановке задачи (с рекурсивными e-типами) мы имеем контекстно-свободную грамматику, с ней всё сложно. В постановке задачи Михаила — всё разрешим

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

Добрый вечер, Аркадий! «Александр, спасибо, что реанимировали старую дискуссию.» Некропостинг эпический. Реанимируем дискуссию 20-летней давности. Когда Вы писали то письмо, мне было 12 лет. Как Вы там писали: «Хорошо бы кто-то из молодых за это взялся.». «Поэтому я даже перенёс тексты писе

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

Добрый вечер всем! Предлагаю продолжить дискуссию 20-летней давности, а именно, обсудить статическую типизацию в Рефале. Тема уже поднималась в рассылке как минимум 2 раза. Первый раз Аркадий Климов предложил определять типы вариантом L-выражений (11 августа 1999): https://mazdaywik.github.io

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

Добрый день всем! Я, похоже, нашёл подходящий термин. Бойко назвал Рефал _слаботипизированным_ языком, имея в виду то, что базовых типов мало и пользователь не может создавать новые типы. Но термин _слабая типизация_ (weak typing, синоним: нестрогая типизация) уже занят, означает, что компилято

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

Доброй ночи, Александр! Я по мере сил развиваю Рефал-5λ, который лежит на GitHub, и чисто для себя пользуюсь тамошним багтрекером для документации планов и задач. Ранее, когда я разрабатывал Модульный Рефал, у меня был (и остался) текстовый

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

Добрый вечер, Аркадий! Его можно читать. Открываете ссылку в Internet Explorer, щёлкаете правой кнопкой мыши, «Кодировка» → «Дополнительно» → «Кириллица (KOI8-R)». В браузерах Edge и Edge Dev (новый на движке Chromium) меню выбора кодировки я не нашёл. Других браузеров у меня на компьютере не у

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

Добрый вечер, Сергей! «А это было не так. И первая (минимальная не пустая) „неподвижная точка“ — Рефал Плюс.» Рефал-4 замкнут только относительно прогонки. А Рефал Плюс — ещё и относительно разрезания стека (ибо коместность). «Рефал Плюс единственный из Рефалов с коарностью (если даже не един

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

Добрый вечер, Александр! «А типизацию и в Рефал несложно ввести, только это от лукавого, думаю.» Я бы поспорил, что несложно. С уважением, Александр Коновалов From: Александр Гусев gusev_aleksandr_AT_mail.ru Sent: Monday, December 2, 2019 11:54 AM To: refal@botik.ru Subject: Re[2]: Нужна ли "

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

Бойко! «Слабо типизированным я называю язык, в котором, грубо говоря, типы данных имеют небольшую роль.» Теперь мы поняли друг друга! Статья на Хабре описывает, как мне показалось, общепринятую терминологию по разновидностям типизации, в ней weak/strong typing переведены как слабая и сильная

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

«Александр, Вы романтик в программировании» Не возражаю. From: Eisymont Leonid verger-lk_AT_yandex.ru Sent: Sunday, December 1, 2019 11:55 PM To: refal@botik.ru Subject: Re: Рефал-2, Рефал-5 и стиль программирования Александр, Вы романтик в программировании и все слишком усложняете. В проекта

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

Добрый вечер всем! Хочу дополнить предыдущее письмо. Я писал: «Так, что если программист пишет комментарий к каждой строчке, это одно из двух. Или язык недостаточно выразителен, что приходится его пересказывать на понятном языке. Или программист не умеет ясно выражать мысли на языке программир

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

Добрый вечер, Бойко! «Рефал ведь слабо типизированный язык…» Распространённая терминологическая ошибка, перепутана слабая и динамическая типизация. Сильно типизированный язык — язык, запрещающий неявные преобразования. Слабо типизированный язык — язык, разрешающий неявные преобразования. JavaS

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

Добрый день, Леонид! Добрый день всем остальным! Дабы не плодить офтопиков в теме про вещественную арифметику, начну новую тему. «Про читаемость можно действительно не обсуждать, но мне эти идентификаторы через точку при свободных переменных никогда не нравились, они „замыливают“ видимость в

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

Добрый день, Леонид, ещё раз! Выношу в отдельную тему обсуждение параллелизма. «С функциями с побочным эффектом надо быть осторожными. То, что Вы говорите, сводит на нет все распараллеливание по чистым конкретизациям.» Напишу подробнее, что же мы планируем со студентом получить (добавил его

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

Добрый день, Леонид! «С указателями на числа все неправильно. Именно надо работать с тем, на что ссылаемся, на 64-х разрядные числа.» Меня смутила фраза «символы-ссылки» в предыдущем письме. Во многих языках программирования различают типы-значения и типы-ссылки. Типы-значения сравниваются по

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

Добрый день, Александр! «Постепенно, по мере усложнения задач, возникли желания по оптимизации и оказалось, что проще вводить новые конструкции в язык, чем интеллектуализировать исполнение программы изнутри.» Не понял мысль. Речь о каких новых конструкциях? Новые конструкции по сравнению с баз

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

Добрый день, Леонид! «Со символами ссылками не так. Там тупо в символе рефала ссылка на кусок памяти в 64 разряда, где хранится само число. Если сравнивать, то сравниваются содержимое двух кусков памяти, как это аппаратура может сделать.» Про символы-ссылки я имел ввиду следующее. Пусть имеются д

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

Доброй ночи, Андрей! «Александр, как же так, вы же писали что в синтаксисе вещественных констант нет, как же это вы скомпилировали, и выполнили?» На сайте refal.ru можно найти два компилятора Рефала-6. Один скачивается по ссылке download со страниц

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

Добрый вечер, Леонид! «Мы же сами только обеспечивали работу с такими числами через символы-ссылки.» Если представлять вещественные числа символами-ссылками, то проблема равенства уходит на второй план: два символа равны, если ссылаются на общий контейнер. «Так что хоть какое-то распараллеливан

  1   2   >