пакета прописана команда, подавляющая вызов strip. Но это, понятное дело, не
решение проблемы, а всего лишь обходной путь.
Можно ли достигнуть описанных выше целей и обеспечить совместимость со strip —
не знаю.
С уважением,
Александр Коновалов
From: Mike Potanin mpotanin_AT_gmail.com
Sent
оборудование для видеоконференций там есть.»
Могу приехать и выступить. Так даже интереснее.
С уважением,
Александр Коновалов
From: Mike Potanin mpotanin_AT_gmail.com
Sent: Monday, October 11, 2021 1:11 PM
To: refal@botik.ru
Subject: Re: Актуальные реализации и текущее состояние.
Спасибо!
Рефал-5
приехать на Воронцово поле (см. адрес по Вашей
ссылке) или можно дистанционно через Zoom?
С уважением,
Александр Коновалов
From: Mike Potanin mpotanin_AT_gmail.com
Sent: Sunday, October 10, 2021 3:31 PM
To: refal@botik.ru
Subject: Актуальные реализации и текущее состояние.
Добрый день
(Перенаправляю письмо в рассылки)
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
предоставит конспект
своего доклада.
С уважением,
Александр Коновалов
From: Александр Коновалов a.v.konovalov87_AT_mail.ru
Sent: Sunday, June 6, 2021 4:26 PM
To: refal@botik.ru; metacomputation...@googlegroups.com
Subject: IV совместное совещание ИПС РАН — МГТУ по Рефалу
Добрый день
суперкомпиляции Рефала, которые я затронул во второй части доклада.
Предварительно её доклад будет где-то в июле.
С уважением,
Александр Коновалов
From: ru-step-discussion-gr...@googlegroups.com
On Behalf Of Lidia Gorodnyaya
Sent: Friday, June 11, 2021 3:28 PM
To: Andrei Klimov
Cc: ru-step
.
Программа мероприятия
11:00–11:05 — открытие
Первая сессия, председатель Александр Коновалов
11:05–11:45 — Андрей Немытых «О языке описания свойств параметризованных
конфигураций (уравнение Хмелевского в словах)»
11:45–11:50 — перерыв
11:50–12:15 — Александра Спиридонова «Построение решателя
необходимого оборудования.
Ждём вас на совещании!
До встречи!
Александр Коновалов
Спасибо!
-Original Message-
From: Скоробогатов Сергей Юрьевич skorobogatov_AT_bmstu.ru
Sent: Wednesday, May 26, 2021 12:17 PM
To: Александр Коновалов a.v.konovalov87_AT_mail.ru
Subject: Генератор билетов по компиляторам
Кодировка -- KOI8 :-)
Доброе утро, Андрей и Аркадий!
Спасибо за интересные доклады!
С уважением,
Александр Коновалов
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: Харитоновские Научные Чтения
сли бы были автотесты, можно было бы при помощи git bisect быстро найти
коммит, который всё ломает.
Не исключаю, что автотесты Вы и без меня хорошо знаете, и уже давно их
используете. Я пишу в рассылку, а в ней не все подписчики могут быть знакомы с
этой полезной практикой.
С уважением
всегда равны. С
другой стороны, функции с разным поведением должны быть не равны. Последнее я
пытался формализовать в слайде про фазы луны и в предыдущем письме. Но, похоже,
я больше всё запутал, чем объяснил.
С уважением,
Александр Коновалов
From: Александр Гусев
е всего, будет едва заметен.
С уважением,
Александр Коновалов
From: Александр Гусев gusev_aleksandr_AT_mail.ru
Sent: Wednesday, May 19, 2021 11:16 AM
To: refal@botik.ru
Subject: Re[2]: Рефал-семинар 17 мая 2021 в 10:30 в Zoom'e
Добрый день!
Мне видится, что проблема усп
. Одна из причин — неудачная система команд байткода,
гораздо хуже байткода Романенко. Её надо перепроектировать. Ну и заодно
переписывать рантайм.
С уважением,
Александр Коновалов
From: Александр Гусев gusev_aleksandr_AT_mail.ru
Sent: Tuesday, May 18, 2021 11:56 PM
To: Александр Коновалов
равны друг другу.
Если все замыкания друг другу равны, то равны окажутся различные функции.
С уважением,
Александр Коновалов
From: Александр Гусев gusev_aleksandr_AT_mail.ru
Sent: Tuesday, May 18, 2021 11:24 PM
To: refal
Subject: Re: В защиту ссылок в Рефале – Was: Рефал-семинар 17
другому решению.
С уважением,
Александр Коновалов
From: Andrei Klimov andrei_AT_klimov.net
Sent: Sunday, May 16, 2021 11:06 PM
To: refal@botik.ru
Subject: Рефал-семинар 17 мая 2021 в 10:30 в Zoom'e
Добрый вечер!
В понедельник 17 мая 2020 в 10:30 часов соберемся на онлайн-семинар по Р
Добрый день, Николай!
«Когда я писал компилятор в язык сборки, то обнаружил, что непрозрачность
блоков для неуспехов неудобна для реализации.»
А чем неудобна?
С уважением,
Александр Коновалов
From: nikolai.kondratiev_AT_gmail.com
Sent: Sunday, March 28, 2021 11:42 PM
To: refal
нужно будет неявно
переводить в такие звенья.
С Днём Победы всех! Мирного неба над головой!
С уважением,
Александр Коновалов
From: Andrei Klimov andrei_AT_klimov.net
Sent: Sunday, March 28, 2021 10:12 PM
To: refal@botik.ru
Subject: О разделении логики и дизайна
[Сменил сабж, так к
соответственно.
С уважением,
Александр Коновалов
От: Andrei Klimov andrei_AT_klimov.net
Отправлено: 28 марта 2021 г. в 16:47
Кому: refal@botik.ru
Тема: Re: Регулярные выражения слева
On Sat, Mar 27, 2021 at 11:47 PM Александр Коновалов a.v.konovalov87_AT_mail.ru
wrote:
[...]
Вариативность (но с
засорять рассылку частными вопросами.
С уважением,
Александр Коновалов
From: Arkady Klimov arkady.klimov_AT_gmail.com
Sent: Saturday, March 27, 2021 9:10 PM
To: refal@botik.ru
Subject: Re: Refal6-basic
"Данный суперкомпилятор умел повышать местность функций и распознавал
«параметры-при
время на
то, что уже есть, а ещё и в том, что велосипеды получаются с квадратными
колёсами.
С уважением,
Александр Коновалов
From: Andrei Klimov andrei_AT_klimov.net
Sent: Saturday, March 27, 2021 8:59 PM
To: refal@botik.ru
Subject: Re: Refal6-basic
Von: Александр Коновалов
Gesendet
объём.
С уважением,
Александр Коновалов
From: nikolai.kondratiev_AT_gmail.com
Sent: Saturday, March 27, 2021 10:58 PM
To: refal@botik.ru
Subject: AW: Refal6-basic
„Коля, а что это за файл такой большой там на 150 МБ, по ссылке под "Studio
Community 2019 solution", файл refal6.z
Рефале, без условий, то так:
F {
e.Name 〈что-то ещё〉 = ;
… = …;
}
F1 {
e.1 (e.Name) e.2 (e.Name 〈что-то ещё〉) = …;
… = …;
}
Имя для функции F1, на мой вкус, плохое, но в зависимости от задачи можно
подобрать и более подходящее имя.
С уважением,
Александр Коновалов
From: Александр Гус
кода там наоборот различается и сколько сохранилось
общего. Как-нибудь сравню и напишу в рассылку.
Спасибо!
Александр Коновалов
From: nikolai.kondratiev_AT_gmail.com
Sent: Friday, March 26, 2021 3:22 PM
To: refal@botik.ru
Cc: 'Andrei Klimov'
Subject: Refal6-basic
Уважаем
Добрый день, Андрей Валентинович!
Может быть, Турчин, Бэкус и МакКарти втроём на какой-нибудь конференции
встретились и идея синтаксиса родилась в ходе совместной беседы. В общем,
теперь я буду знать две версии происхождения угловых скобок.
С уважением,
Александр Коновалов
From: Andrei
жением,
Александр Коновалов
-Исходное сообщение-
From: Sergei M. Abramovabram_AT_botik.ru
Sent: Friday, March 12, 2021 12:25 PM
To: Александр Коновалов a.v.konovalov87_AT_mail.ru
Subject: Re: Изобретение велосипеда
Знаки < и > Турчин стал использовать уже в Америке, там их ему на
и поправлю.
По своему опыту, когда я копирую кусок кода, то позже обнаруживаю ошибку,
которая оказывается в обеих копиях и обе приходится править.
С уважением,
Александр Коновалов
From: Александр Гусевgusev_aleksandr_AT_mail.ru
Sent: Friday, March 12, 2021 10:52 AM
To: refal@botik.ru
,
но сначала поленился, а потом забил — будет потерян один удобный приём отладки
(см. здесь пример отладки DoFib).
С уважением,
Александр Коновалов
From: Александр Гусевgusev_aleksandr_AT_mail.ru
Sent: Thursday, March 11, 2021 1:52 PM
To: refal@botik.ru
Subject: Изобретение велосипеда
Добрый
Доброе утро всем!
«Такую сессию можно организовать совместно с ежегодным Рефал-семинаром (если
Александр Коновалов и другие организаторы семинара не будут возражать).»
Совместные семинары я ни разу не организовывал, не знаю как это делается.
Семинар, который мы организуем в Бауманке, привязан
идентификаторы станут не такими длинными.
С уважением,
Александр Коновалов
From: Arkady Klimov arkady.klimov_AT_gmail.com [mailto:refal@botik.ru]
Sent: Thursday, February 4, 2021 3:31 PM
To: refal@botik.ru
Subject: Re: Конференция МЭС - 2020
Александр, добрый день!
Очень интересная идея, спасибо
Андрей!
По-моему, можно с теми же слайдами рассказывать то же самое без спешки как
минимум 20-30 минут. Вы, по-моему, один или два слайда не успели тогда
рассказать.
С уважением,
Александр Коновалов
From: Andrei Klimov andrei_AT_klimov.net [mailto:refal@botik.ru]
Sent: Thursday
Добрый день, Андрей!
Ваш доклад оказался очень интересным, но по времени втиснуть его с трудом
удалось. Планируете ли Вы когда-нибудь прочитать расширенную версию этого
доклада, т.е. длиннее 15 минут? Я думаю, он был бы интересен не только мне
одному.
С уважением,
Александр Коновалов
тивная“, или „content-addressаble“.»
Вопрос только в производительности этой памяти и скорости обмена с ней.
С уважением,
Александр Коновалов
From: Arkady Klimov arkady.klimov_AT_gmail.com [mailto:refal@botik.ru]
Sent: Tuesday, February 2, 2021 8:32 PM
To: refal@botik.ru
Subject: Re: Конференция МЭС
Добрый день, Александр!
Я правильно предполагаю, что планируется что-то вроде AWS Lambda, но на Рефале?
Или же это что-то другое?
И присоединяюсь к вопросу Аркадия: нельзя ли чуть побольше конкретики, какие
задачи предполагается решать с помощью этого сервера?
С уважением,
Александр
лнения не известно
заранее и назначить им индекс статически невозможно. Или всё-таки можно что-то
придумать?
С уважением,
Александр Коновалов
From: Arkady Klimov arkady.klimov_AT_gmail.com [mailto:refal@botik.ru]
Sent: Wednesday, September 16, 2020 11:44 PM
To: refal@botik.ru; metacompu
этом письмо заканчиваю. В следующем письме я расскажу, какой алгоритм нужно
доработать напильником, чтобы удовлетворить все три требования массивного
представления. А пока можете делать ставки.
На самом деле, доработать можно оба, но один из них предпочтительнее.
С уважением,
Александр Коновалов
.
С уважением,
Александр Коновалов
From: Александр Коновалов a.v.konovalov87_AT_mail.ru [mailto:refal@botik.ru]
Sent: Wednesday, December 16, 2020 12:07 AM
To: refal@botik.ru
Subject: Рефал-5, Рефал Плюс и форматы
Добрый вечер всем!
На сколько я знаю, когда-то были планы реализации
программирования, и одна из мыслей
была — борьба с недостатком представления данных протекает в стиль
программирования. Так вот, в Рефале Плюс борьба с недостатком представления
данных протекла аж в дизайн языка.
С уважением,
Александр Коновалов
%98>
Основные приемы программирования (koi8-r) (refal.ru)
Да, и одним из примеров является спаривание скобок.
Ещё этот приём используется в суперкомпиляторах SCP3 и SCP4. Можно исходники
скачать и убедиться.
С уважением,
Александр Коновалов
From: nikolai.kondratiev_AT_gmail.com [mailto
= (e1) k/DoEnum/ e2 sN.
EndEnum e1 sN = e1
тоже в рекурсивном стиле. Ведь при этом накапливаются вложенные конкретизации в
поле зрения. А выворачивание — итеративное, на каждом шаге в поле зрения
конкретизация одна.
С уважением,
Александр Коновалов
From: Arkady Klimov
Александр.
Действительно.
Еще раз, Большое спасибо.
PS Если хотите, могу прислать пошаговую прокрутку обоих вариантов...
--
С уважением,
--
Василий Стеллецкий
mailto:s...@cnshb.ru <mailto:sw...@narod.ru> mailto:sw...@narod.ru
14.12.2020, 16:38, "Александ
де она видит аргумент с пустой строкой и
счётчиком и DoEnum-Wrap, которая выбрасывает вон скобку и продолжает цикл
DoEnum. Но закрывающих скобок 4, должно сэкономиться 4 шага. И один на EndEnum.
4+1≠4, где-то что-то я не учёл.
С уважением,
Александр Коновалов
From: Василий Стеллецкий
е использовать рекурсию для обхода рекурсивных структур, чем
наворачивать такие стеки.
С уважением,
Александр Коновалов
From: Василий Стеллецкий swi_AT_cnshb.ru
Sent: Monday, December 14, 2020 1:52 PM
To: refal@botik.ru
Subject: Re: Запахи кода и антипаттерны в Рефале
Добрый день, Александ
)e2 sN = k/DoEnum-Wrap/ k/DoEnum/ e1 sN. (e2).
DoEnum-Wrap e1 sN (e2) = (e1) k/DoEnum/ e2 sN.
Если что, я не запускал этот код, могут быть опечатки. Также это решение
эффективнее по числу шагов, чем вариант с копилкой.
С уважением,
Александр Коновалов
From: Василий Стеллецкий
м,
Александр Коновалов
From: Andrei Klimov andrei_AT_klimov.net
Sent: Monday, December 14, 2020 11:50 AM
To: refal@botik.ru
Subject: Re: Запахи кода и антипаттерны в Рефале
пн, 14 дек. 2020 г., 10:46 Александр Коновалов a.v.konovalov87_AT_mail.ru
<http://a.v.konovalov87_AT_mail.ru
о самое с дорогим копированием и копеечной конкатенацией.
Как будет выглядеть O(n) решение в других диалектах Рефала?
С уважением,
Александр Коновалов
-Original Message-
From: Sergei M. Abramov abram_AT_botik.ru
Sent: Monday, December 14, 2020 4:27 AM
To: Александр
спользовать слова True и False. А ещё
правильнее — вместо True/False по возможности использовать слова из предметной
области: Found/NotFound, Simple/Complex, Changed/Intouch, Success/Errors…
А какие вы можете назвать запахи кода и антипаттерны, характерные для Рефала?
С уважением,
Александр Коновалов
восстановлюсь.
11.12.2020, 12:41, "Александр Коновалов a.v.konovalov87_AT_mail.ru"
mailto:refal@botik.ru> >:
Замечательно! Ближе к лету обсудим тогда.
From: Eisymont Leonid verger-lk_AT_yandex.ru [mailto:refal@botik.ru]
Sent: Friday, December 11, 2020 12:37 PM
To: refal@botik.
аже обычно берет по договорам, т.е. оплачивает
работу. Тематику они определят.
11.12.2020, 11:52, "Александр Коновалов a.v.konovalov87_AT_mail.ru"
mailto:refal@botik.ru> >:
Леонид!
Если понадобится, наша кафедра может обеспечить Вам студентов на летнюю
практику. Студенты у
,
Александр Коновалов
From: Eisymont Leonid verger-lk_AT_yandex.ru [mailto:refal@botik.ru]
Sent: Friday, December 11, 2020 11:08 AM
To: Александр Гусев ; refal@botik.ru
Cc: fro...@nicevt.ru
Subject: Re: Сравнение веток Рефала
Про эту реализацию что-то не знаю. Упустил. Интересно, вкратце, понять
возможность привлекать студентов в
добровольно-принудительном порядке. Студенты нехотя, но идут. Иногда за
студентами приходится переписывать, т.к. у них мало опыта в программировании на
Рефале и код получается неоптимальным.
С уважением,
Александр Коновалов
From: Александр Гусев
Дорогой Андрей Петрович!
Я присоединяюсь к поздравлениям Вашего коллеги. Хочу пожелать счастья,
здоровья, творческих успехов и условий для творческих успехов! Ведь «служенье
муз не терпит суеты».
Всего самого лучшего!
Александр Коновалов
From: Andrei Klimov andrei_AT_klimov.net
Sent
, достаточно пройти по ссылке.
До встречи!
Александр Коновалов
Аннотации докладов:
Первая сессия (председатель Антонина Непейвода), посвящена древесным
оптимизациям в компиляторе Рефала-5λ.
1.Александр Коновалов «Древесные оптимизации в компиляторе Рефала-5λ: итоги
и перспективы
я
обе функции, т.к. у них обоих могут быть побочные эффекты. Не знаю, разрешима
ли эта задача.
С уважением,
Александр Коновалов
From: Arkady Klimov arkady.klimov_AT_gmail.com [mailto:refal@botik.ru]
Sent: Tuesday, May 26, 2020 6:59 PM
To: refal@botik.ru
Subject: Об ИЛИ-параллелизме
-lambda/
А также в документацию к другим своим проектам:
https://mazdaywik.github.io/Refal-05/
https://mazdaywik.github.io/refal-5-framework/
(да, это небольшая реклама)
С уважением,
Александр Коновалов
From: Александр Коновалов a.v.konovalov87_AT_mail.ru [mailto:refal@botik.ru]
Sent: Tuesday
.
Сейчас я изучаю сторонние утилиты, которыми можно добавлять оглавление. Потому
что вручную писать оглавление мне лень.
С уважением,
Александр Коновалов
From: Boyko Bantchev boykobb_AT_gmail.com [mailto:refal@botik.ru]
Sent: Tuesday, April 21, 2020 10:48 AM
To: refal@botik.ru
Subject: Re
уважением,
Александр Коновалов
,
Александр Коновалов
преобразованиями
Бёрстола и Дарлингтона, но (а) можно их эквивалентность доказать на Идрисе
(https://habr.com/ru/post/463957/), (б) Гамильтон каким-то образом выводил
второе из первого при помощи своей туманной «дистилляции».
С уважением,
Александр Коновалов
-Original Message-
From: Sergei M
квивалентны.
Интересно, можно ли вывести второй алгоритм из первого какой-нибудь цепочкой
элементарных преобразований?
С уважением,
Александр Коновалов
-botik-ru/refal/0712-utf8
С уважением,
Александр Коновалов
-Original Message-
From: Скоробогатов Сергей Юрьевич skorobogatov_AT_bmstu.ru
[mailto:refal@botik.ru]
Sent: Wednesday, April 1, 2020 8:42 AM
To: refal@botik.ru
Subject: Re: Как мне назвать компилятор?
А можно воспользоваться
мников будет добавлять два предупреждения в компилятор. Одно тривиальное
(но для него потребуется добавить в компилятор поддержку предупреждений). А
второе сложное, ему и посвящена содержательная часть диплома.
Александр Коновалов
From: Andrei Klimov andrei_AT_klimov.net [mailto:refal@bot
ню, Рефал-05 — этот тот, который
распараллеливал Станислав. (Про дискуссию о распараллеливании я не забыл —
дочитаю старую статью Эйсымонта и отвечу.)
Александр Коновалов
From: Andrei Klimov andrei_AT_klimov.net [mailto:refal@botik.ru]
Sent: Tuesday, March 31, 2020 6:06 PM
To: refal@boti
нее
сливается с именем утилиты.
Андрей
On Tue, Mar 31, 2020 at 5:39 PM Александр Коновалов a.v.konovalov87_AT_mail.ru
<http://a.v.konovalov87_AT_mail.ru> mailto:refal@botik.ru> >
wrote:
Спасибо, Андрей!
Вариант неплохой. Только я бы добавил циферку 5: hor5c, hor5make, hor5go
Юрий, извините. Я Вас по ошибке назвал Аркадием.
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 для поиска
Спасибо, Аркадий!
r5lam — компилятор, r5lam-make для поиска зависимостей, r5lam-int или r5lam-go
для интерпретатора. Имя r5l можно разглядеть как r5I или r51, а имя r5lam
ошибочно разглядеть (если известно, что язык называется Рефал-5λ) будет сложнее.
Александр Коновалов
From: Yuri
.
По словарю: hor = horizon = горизонт.
Ассоциация неплохая: рефал на горизонте; рефал, к которому стремимся; рефал
мечты. ;-)
(Правда, горизонт мы не достигаем. Но это уж можно замять.:-))
Андрей
On Tue, Mar 31, 2020 at 5:20 PM Александр Коновалов a.v.konovalov87_AT_mail.ru
<h
Спасибо за интересное предложение!
Выглядит неплохо, хотя и натянуто. Связь между Рефалом-5λ и r5ac (или ref5ac)
не очевидна. Но столь же неочевидна связь и между Рефалом-5λ и srefc.
Александр Коновалов
-Original Message-
From: Boyko Bantchev boykobb_AT_gmail.com [mailto:refal
создавать файлы и из голого байткода.
Для запуска последних как программ я планирую написать интерпретатор вроде
refgo из классического Рефала-5. Возникает вопрос: а какое ему дать имя?
С уважением,
Александр Коновалов
,
Александр Коновалов
From: Eisymont Leonid verger-lk_AT_yandex.ru
Sent: Monday, March 2, 2020 2:33 PM
To: refal@botik.ru
Subject: Re: Семинар по метавычислениям в понедельник 2 марта 2020 в ИПМ
Андрей, очень хотел попасть на семинар, но сижу дома со статьей по ЭКБ для ИИ.
Очень тяжело идет, а
,
Александр Коновалов
From: Andrei Klimov [mailto:and...@klimov.net]
Sent: Friday, February 28, 2020 2:04 PM
To: metacomputation-ru ; refal@botik.ru
Subject: Семинар по метавычислениям в понедельник 2 марта 2020 в ИПМ
Добрый день всем!
В понедельник 2 марта 2020 в 15 часов соберемся в
Добрый день, Александр!
Мы скинем слайды в рассылку. Видеозапись на этих семинарах, как правило, не
организуют (во всяком случае, я такого не помню).
Успехов!
Александр Коновалов
From: Александр Гусев gusev_aleksandr_AT_mail.ru
Sent: Friday, February 28, 2020 2:37 PM
To: refal
Cc
non> .
Третья часть http://7i.7iskusstv.com/y2019/nomer11/turchin/ содержит раскрытие
идей «Кибернетического манифеста»
<http://www.refal.net/turchin/phenomenon/cybernetic-manifesto.htm> . Если в
манифесте идеи скорее перечислены, то здесь они подробно разбираются.
С уважением,
Алексан
Добрый день всем!
Я не сразу это заметил, но Андрей Валентинович прислал ссылки только на первую
и третью части статьи, а есть ещё и вторая:
* http://7i.7iskusstv.com/y2019/nomer10/turchin/
С уважением,
Александр Коновалов
From: Andrei Klimov [mailto:and...@klimov.net]
Sent
Добрый день всем!
«Тема интересная. А нельзя ли послушать дистанционно? Я не в Москве.»
Ну так и семинар не в Москве! J
А если серьёзно, когда будет известна дата семинара? Я бы съездил.
С уважением,
Александр Коновалов
From: Александр Гусев gusev_aleksandr_AT_mail.ru
Sent: Tuesday
://music.yandex.ru/album/644952/track/5885646)
Так что наше дело — Рефал, и никуда нам от него не деться.
Изучай, если хочешь, и Агду, и Хаскель,
Двигай в массы type checking восторгом горя…
Удачи всем!
Александр Коновалов
P.S.: письмо выражает исключительно моё настроение.
From: Александр
несколько способов это расширение обуздать.
С уважением,
Александр Коновалов
From: Александр Коновалов a.v.konovalov87_AT_mail.ru
Sent: Wednesday, December 18, 2019 1:13 AM
To: refal@botik.ru
Subject: Прогонка по Турчину и неуспехи
Доброй ночи всем!
Пришло в голову одно интересное
ого опускаться не
следует. Это сильно сужает гибкость языка и может служить только чисто
теоретическим целям.
Среда, 18 декабря 2019, 1:16 +03:00 от Александр Коновалов
a.v.konovalov87_AT_mail.ru mailto:refal@botik.ru> >:
Доброй ночи всем!
Пришло в голову одно интересное соображение.
А при ответе на это письмо давайте обсуждать только прогонку в Рефале с
неуспехами.
From: Александр Коновалов a.v.konovalov87_AT_mail.ru [mailto:refal@botik.ru]
Sent: Wednesday, December 18, 2019 1:13 AM
To: refal@botik.ru
Subject: Прогонка по Турчину и неуспехи
Доброй ночи всем!
Пришло
отправляю это письмо с новой темой.
По перехвату ошибок у меня тоже есть соображения, но напишу их ближе к вечеру,
когда у меня появится время. Также вечером содержательнее отвечу на ваши письма.
С уважением,
Александр Коновалов
From: Stelletsky V swi_AT_cnshb.ru [mailto:refal@botik.ru]
Sent
елано в оптимизаторе-прогонщике Рефала-5λ (он не суперкомпилятор, но
прогонка в нём есть).
И, наконец, можно вместо ограниченного Рефала использовать ограниченный
Рефал-6. А если определить ограниченный ленивый Рефал-6, то область определения
программы будет сохраняться всегда.
С уважением,
Александр Коновалов
каждой рекурсивной“?»
Да, совершенно верно. Это опечатка.
Нерекурсивные функции можно при проверке раскрыть конечное число раз и
уткнуться в рекурсивную функцию, тип которой задан.
С уважением,
Александр Коновалов
From: Arkady Klimov arkady.klimov_AT_gmail.com [mailto:refal@botik.ru]
Sent
на „Отождествление невозможно“ и правкой ошибок, которые могли быть
обнаружены на стадии компиляции хорошим типизатором вроде обсуждаемого.»
Статистику не вёл, но охотно верю.
С уважением,
Александр Коновалов
From: Arkady Klimov arkady.klimov_AT_gmail.com [mailto:refal@botik.ru]
Sent: Thurs
должны быть они же.
Подход Аркадия, как мне кажется, проще расширить на обобщённые типы, нежели
подход Михаила. Потому что в случае древесных автоматов нужно научиться решать
регулярные неравенства, а как их решать, тем более эффективно — понятия не
имею.
С уважением,
Александр Коновалов
. _Бедная_ — ничего
интересного с типами язык не даёт. Скажем, в древних Фортране-66 или Алголе-60
система типов была бедная — целые, вещественные и их массивы различных
размерностей. В Паскале система типов богаче. В Алголе-68 ещё богаче (во всяком
случае, интереснее).
С уважением,
Александр
ь плагин для IntellJ IDEA:
https://github.com/bmstu-iu9/RefalFiveLambdaPlugin
Умеет подсвечивать синтаксис, выделять синтаксические ошибки и автодополнять
имена функций и переменных. Впрочем, в основе этого плагина тоже лежит Java.
С уважением,
Александр Коновалов
From: Але
установлено, подсказать
настройки кодировки не смогу.
С уважением,
Александр Коновалов
From: Arkady Klimov arkady.klimov_AT_gmail.com [mailto:refal@botik.ru]
Sent: Monday, December 2, 2019 8:52 PM
To: refal@botik.ru
Subject: Re: Нужна ли "Ленинская простота" в Рефале?
,
а не нескольких. В Go нет кортежей, но множественный возврат есть.
Так что Рефал Плюс — не единственный язык с коарность, или слово «коарность» я
понял не так.
С уважением,
Александр Коновалов
-Original Message-
From: Sergei M. Abramov abram_AT_botik.ru
Sent: Monday, December 2
Добрый вечер, Александр!
«А типизацию и в Рефал несложно ввести, только это от лукавого, думаю.»
Я бы поспорил, что несложно.
С уважением,
Александр Коновалов
From: Александр Гусев gusev_aleksandr_AT_mail.ru
Sent: Monday, December 2, 2019 11:54 AM
To: refal@botik.ru
Subject: Re[2]: Нужна ли
. статически.»
Интересное соображение. Я, когда говорю о типизации Рефала, имею ввиду те типы,
которые подразумевает программист, когда пишет в комментариях грамматику
объектных выражений и формат функции. И на этом уровне Рефал динамически
типизирован.
С уважением,
Александр Коновалов
«Александр, Вы романтик в программировании»
Не возражаю.
From: Eisymont Leonid verger-lk_AT_yandex.ru
Sent: Sunday, December 1, 2019 11:55 PM
To: refal@botik.ru
Subject: Re: Рефал-2, Рефал-5 и стиль программирования
Александр, Вы романтик в программировании и все слишком усложняете. В проекта
программирования.»
Есть ещё третий случай — пишется ПО для ответственного применения. Например,
компилятор для аэрокосмической отрасли, чем и занимался Леонид Эйсымонт. В
таких случаях перестраховываться надо.
С уважением,
Александр Коновалов
From: Александр Коновалов a.v.konovalov87_AT_mail.ru
refal/0222.html
«А избежание необходимости усложнений Рефала, на мой взгляд, можно постичь,
если реализовать небольшое его подмножество в виде библиотеки на ANSI C.»
ИМХО тут надо брать пример с Lua.
С уважением,
Александр Коновалов
-Original Message-
From: Boyko Bantchev boykobb_AT_gma
тором решение проблемы выражается
лучше всего. Тут речь идёт об опыте работы с разными языками или создании
DSL’ей.
С уважением,
Александр Коновалов
From: Eisymont Leonid verger-lk_AT_yandex.ru [mailto:refal@botik.ru]
Sent: Friday, November 29, 2019 5:25 PM
To: refal@botik.ru
Subject: Re:
побочного эффекта. У этого понятия есть антоним в русском языке,
кроме словосочетания «грязная» функция? Я пишу «грязная» в кавычках, поскольку
в литературе его не встречал.
С уважением,
Александр Коновалов
From: Eisymont Leonid verger-lk_AT_yandex.ru [mailto:refal@botik.ru]
Sent: Friday
м и стиль программирования отвечу отдельными письмами.
С уважением,
Александр Коновалов
From: Eisymont Leonid verger-lk_AT_yandex.ru [mailto:refal@botik.ru]
Sent: Friday, November 29, 2019 5:25 PM
To: refal@botik.ru
Subject: Re: Нужны ли вещественные числа в Рефале?
С указателями на ч
которого пишут
реализации 😀. Потому что это интересно. Рефал — это вызов «напиши для меня
компилятор».
С уважением,
Александр Коновалов
From: Александр Гусев gusev_aleksandr_AT_mail.ru [mailto:refal@botik.ru]
Sent: Friday, November 29, 2019 4:57 PM
To: refal@botik.ru
Subject: Нужна ли
спринимать.
А кто-то из коллег — это Василий Стеллецкий. Он тоже писал в рассылку, что
текст на Рефале-5 он не читает, а расшифровывает.
С уважением,
Александр Коновалов
From: Eisymont Leonid verger-lk_AT_yandex.ru
Sent: Friday, November 29, 2019 1:20 PM
To: refal@botik.ru
Subject: Re: Нужны
вать с Рефал-Java и посмотреть — не будет ли
тонкостей при работе с NaN.
С уважением,
Александр Коновалов
From: Arkady Klimov arkady.klimov_AT_gmail.com [mailto:refal@botik.ru]
Sent: Thursday, November 28, 2019 11:41 PM
To: refal@botik.ru
Subject: Re: Нужны ли вещественные числа в
простых многоядерных компьютеров. Но зато вся параллельность будет
полностью прозрачна для программиста.
С уважением,
Александр Коновалов
From: Eisymont Leonid verger-lk_AT_yandex.ru [mailto:refal@botik.ru]
Sent: Thursday, November 28, 2019 5:41 PM
To: refal@botik.ru
Subject: Re: Нужны ли
Результаты 1 - 100 из 320 matches
Mail list logo