Спасибо!
Рефал-5λ можно ограничить (например, опцией командной строки), чтобы он
поддерживал
только то, что понимает суперкомпилятор? Научить суперкомпилятор функциям
высших порядков
будет не просто, а сделать еще пакет для суперкомпилятора было бы полезно.

Можно, конечно, и по Zoom или совместить offline и online, какое-то
оборудование для видеоконференций там есть.


On Sun, Oct 10, 2021 at 4:33 PM Александр Коновалов
a.v.konovalov87_AT_mail.ru <[email protected]> wrote:

> Добрый день, Михаил!
>
> На данный момент в системе контроля версий, на сколько мне известно, живут
> интерпретатор Рефала-2:
>
> https://github.com/cmc-msu-ai/refal
>
> и мой Рефал-5λ:
>
> https://github.com/bmstu-iu9/refal-5-lambda
>
> Первый уже 6 лет не обновляется, второй активно развивается.
>
> Остальные лежат в zip-архивах на своих сайта.
>
> Какая версия наиболее актуальна? Позволю себе быть необъективным и скажу,
> что моя. 😉 Рефал-5λ собирается и работает под тремя основными
> операционными системами: Windows, Linux и macOS, на процессорах
> с разрядностью 32 и 64 бита.
>
> А собраться рассказать — это приехать на Воронцово поле (см. адрес
> по Вашей ссылке) или можно дистанционно через Zoom?
>
>
>
> С уважением,
> Александр Коновалов
>
>
>
> *From:* Mike Potanin mpotanin_AT_gmail.com <[email protected]>
> *Sent:* Sunday, October 10, 2021 3:31 PM
> *To:* [email protected]
> *Subject:* Актуальные реализации и текущее состояние.
>
>
>
> Добрый день!
>
> Рефалом заинтересовался мой друг, мантейнер пакетов Nix и кофаундер
> хакспейса.
>
> Он спрашивает какие версии наиболее актуальны, чтобы сделать для них
> пакеты в Nix
>
> (желательно работающие под Linux и хранящиеся не в zip-архиве, а в системе
> контроля версий,
>
> позволяющей сослаться на конкретный коммит ;-)) и предлагает как-нибудь
> собраться у него
>
> в хакспейсе (https://t.me/undefspace), чтобы кто-нибудь рассказал про
> текущее состояние
>
> Рефала и обсудить, куда двигаться.
>
>
>
> С уважением,
>
> Михаил Потанин
>
  • Акт... Mike Potanin mpotanin_AT_gmail . com
    • ... Александр Коновалов a . v . konovalov87_AT_mail . ru
      • ... Mike Potanin mpotanin_AT_gmail . com
        • ... Александр Коновалов a . v . konovalov87_AT_mail . ru
        • ... Andrei Klimov andrei_AT_klimov . net
    • ... Dr Mikhail Kovtun, Ph.D.
      • ... Andrei Klimov andrei_AT_klimov . net
        • ... Dr Mikhail Kovtun, Ph.D.
      • ... Mike Potanin mpotanin_AT_gmail . com
    • ... Александр Гусев gusev_aleksandr_AT_mail . ru
      • ... Mike Potanin mpotanin_AT_gmail . com
        • ... Александр Коновалов a . v . konovalov87_AT_mail . ru

Ответить