Юрий, извините. Я Вас по ошибке назвал Аркадием.
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-int или r5lam-go для интерпретатора. Имя r5l можно разглядеть как r5I или r51, а имя r5lam ошибочно разглядеть (если известно, что язык называется Рефал-5λ) будет сложнее. Александр Коновалов From: Yuri Klimov yuri_AT_klimov.net [mailto:refal@botik.ru] Sent: Tuesday, March 31, 2020 5:33 PM To: refal@botik.ru <mailto:refal@botik.ru> Subject: Re: Как мне назвать компилятор? Добрый день! Я бы предложил назвать r5lam. С уважением, Юрий Климов вт, 31 мар. 2020 г., 17:20 Александр Коновалов a.v.konovalov87_AT_mail.ru <http://a.v.konovalov87_AT_mail.ru> <refal@botik.ru <mailto:refal@botik.ru> >: Спасибо за интересное предложение! Выглядит неплохо, хотя и натянуто. Связь между Рефалом-5λ и r5ac (или ref5ac) не очевидна. Но столь же неочевидна связь и между Рефалом-5λ и srefc. Александр Коновалов -----Original Message----- From: Boyko Bantchev boykobb_AT_gmail.com [mailto:refal@botik.ru <mailto:refal@botik.ru> ] Sent: Tuesday, March 31, 2020 3:09 PM To: refal@botik.ru <mailto:refal@botik.ru> Subject: Re: Как мне назвать компилятор? Имя музыкального тона «ля» созвучно со словом «лямбда», а обозначается он через букву A. Тогда вместо префикса «r5l» можно «r5a». К тому же, «a» — одна из обычных добавок к имени (подобно «плюс» и «прим»), чтобы оно и было подобно, и отличалось от существующего. И, наконец, A не сильно отличается от греческого Λ :) Конечно, всё это очень натянуто, но вряд ли в большей степени, чем графическая имитация буквы Λ знаком \ (Haskell) или λ — знаком -> (Ruby). Просто моите две стотинки :) On Tue, 31 Mar 2020 at 14:26, Александр Коновалов a.v.konovalov87_AT_mail.ru <http://a.v.konovalov87_AT_mail.ru> <refal@botik.ru <mailto:refal@botik.ru> > wrote: > > Добрый день всем! > > У компилятора название есть, такое же как у языка — Рефал-5λ. Но вот чего нет > — нет нормального названия для утилиты командной строки. > > > > Исторический контекст (можно не читать). > > Когда-то я разрабатывал так называемый Простой Рефал — диалект, > синтаксически похожий на Рефал-5 (но не совместимый с ним), > семантически — на Рефал-2 (пустые функции вместо слов), поддерживающий > только базисное подмножество. Позже я в него добавил безымянные > вложенные функции (замыкания, «лямбды»). Исполнимый файл естественным > образом назывался srefc (Simple Refal Compiler). Для компилятора была > также утилита srmake, которая принимала на входе имя одного исходника, > находила остальные по зависимостям и вызывала для них srefc. > Зависимости вычислялись по комментариям вида > > //FROM имя-файла > > которые по соглашеню предваряли списки $EXTERN для функций из соответствующих > файлов. > > Потом я понял, что несовместимый диалект не нужен даже мне и переделал > компилятор в совместимый с Рефалом-5. Так появился язык Рефал-5λ, который > является надмножеством Рефала-5 и включает в себя вложенные функции (что > символизирует буква «λ» в названии). Но имя программы так и осталось srefc, а > имя утилиты поиска зависимостей — srmake (которая теперь ищет комментарии > *$FROM имя-файла). > > Исходники компилятора уже давно переписаны с Простого Рефала на Рефал-5λ > (кроме фронт-энда Простого Рефала, который остался самоприменим), фронт-энд > Простого Рефала я уже подумываю удалить, поэтому имена srefc и srmake > становятся анахронизмом. > > > > Поэтому я прошу помощи у подписчиков: как мне назвать программу компилятора > (вместо srefc) и программу поиска зависимостей (вместо srmake)? > > Можно сократить название refal-5-lambda до r5l и использовать его как > префикс: r5lc, r5lmake. Но префикс r5l похож на r51 и r5I и этим неудачен — > легко перепутать. Использовать имена r5c и r5make не хочу, т.к. это не > Рефал-5, а Рефал-5λ. Имя вроде refal-5-lambda-compiler слишком длинное. > > По умолчанию компилятор создаёт исполнимые файлы, состоящие из > интерпретатора, к которому «приклеен» байткод. Но можно создавать файлы и из > голого байткода. Для запуска последних как программ я планирую написать > интерпретатор вроде refgo из классического Рефала-5. Возникает вопрос: а > какое ему дать имя? > > > > С уважением, > Александр Коновалов