Рефал ни жив, ни мёртв

[vak]

Суровый приговор истории: "Refal, будучи нишевым и исторически значимым языком функционального программирования, ориентированным на сопоставление с образцом и символьные вычисления, имеет ограниченное применение в современной разработке программного обеспечения. Судя по обширному поиску в веб-источниках, репозиториях GitHub, научных статьях и обсуждениях в социальных сетях, не существует широко признанных или активно поддерживаемых современных программных проектов (после 2015 года), использующих Refal в качестве основного инструмента разработки для производственных приложений. Язык по-прежнему в основном используется в академических исследованиях, особенно в таких областях, как суперкомпиляция (метод оптимизации программ, впервые использованный в Refal), а также в отдельных образовательных или экспериментальных реализациях."

Однако кое-кто продолжает заниматься Рефалом: github.com/STrusov/refal-machine

Есть даже компилятор: github.com/bmstu-iu9/refal-5-lambda

Обзор реализаций Рефала: refal-compare.md

Comments

[juan_gandhi]

Понятия не имел, что вообще кто-то помнит название этого диссидентского языка.
Ну я читал какую-то мутную мимеокопию в матмеховской библиотеке. Практически нечитабельно было.

60 лет псу под хвост

[vak]

Рефал уникальный в своём роде. Придумано было много бесполезных и малополезных языков, никому не пригодившихся и канувших в лету. Но Рефал единственный из не пригодившихся, который до сих пор продолжает развиваться. 😀

Re: 60 лет псу под хвост

[juan_gandhi]

Я всё больше понимаю, какая дыра была наш матмех ЛГУ.

[ircicq]

Его преподают до сих пор на ВМК МГУ

[vak]

Если лошадь сдохла - начинай её преподавать. 😀

[spamsink]

В 80-90-е рефал знал, в сущности, каждый юниксный сисадмин под именем "язык скриптов sendmail" (он там, правда, был несколько урезанный, но узнаваемый для тех, кто понимает).

Я до сих пор веселюсь, какими кружными путями я ребёнком узнал про рефал.

[vak]

"Знал" слишком сильно сказано. 😀 Я в 80-90-е видел только одного человека, который понимал скрипты sendmail. Это был Сергей Аншуков в курчатнике. Остальные сисадмины просто копировали существующие скрипты с мелкими исправлениями.

[netch80]

Я понимал вплоть до написания своих рулесетов и существенной правки существующих.
Но при первой возможности свалить с этого - свалил.
Это как сейчас программировать под машину Тьюринга. Возможно, но неудобство перевешивает всё остальное.

[vak]

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

https://gist.github.com/sergev/5a0279b7e595c4cb6ed2bbcc045b578c

[netch80]

Да, я застал ещё то время, когда "конфиг Вакуленко" был продвинутой альтернативой стандартному и использовался на многих узлах. Я пришёл в эту отрасль в конце 97-го.
Уже в 98-м, кажется, пошёл вместе с sendmail 8 новый родной конфиг с кучей возможностей, и началось массовое переключение на него.

Из текущего времени мне кажется, что причиной использования языка именно такого стиля в sendmail было не какое-то академическое стремление ввысь (как вокруг меня думали чуть менее чем все), а ограниченность процессорных ресурсов и слабость средств компиляции и JIT. На полноценный скриптовый язык их не хватало, а подобное комбинирование кусков более-менее адекватно решало основные задачи. Конструкция выражений в exim происходит из того же ограничения, только чуть более современно. Ну а потом ситуация изменилась, по состоянию на сейчас легче подключить какой-нибудь универсальный на все руки и ноги жабаскрипт...

[vak]

Прикольно было бы извлечь реализацию того языка из исходников sendmail и переделать в стиле Рефала. Вот, к примеру, народ сбацал машину Тьюринга на сэндмэйле:

https://github.com/pvanheus/sendmail-turing/blob/main/turing.cf