Добрый день, Саша!

On Wed, Nov 13, 2024 at 3:41 PM Александр Коновалов
a.v.konovalov87_AT_mail.ru <[email protected]> wrote:

> Кстати, на Ваш теперешний взгляд, это какие изменения?
>
Если мы берём Рефал-5, то изменения такие:
1. превращение блоков в функции высших порядков (как в Рефал-7);
2. то, что я про себя уже много лет называю "линзы", т.е. некоторый
механизм, позволяющий функции видеть не то объектное выражение, которое ей
передали в качестве аргумента, а его преобразованный упрощённый вариант, и
производить манипуляции с этим упрощённым вариантом, отображаемые на
исходное объектное выражение (что-то наподобие views в реляционных базах
данных, когда есть настоящие таблицы, а есть производные таблицы,
построенные на основе настоящих, и при некоторых условиях запись в эти
производные таблицы приводит к обновлению настоящих таблиц);
3. представление Рефал-кода в виде объектных выражений, т.е. возможность
анализа, преобразования и выполнения Рефал-кода, представленного в виде
объектных выражений.

Вот как-то так :-)
  • Re:... Sergei Skorobogatov s . yu . skorobogatov_AT_gmail . com
    • ... Стеллецкий Василий sw710_AT_yandex . ru
      • ... Sergei Skorobogatov s . yu . skorobogatov_AT_gmail . com
    • ... Александр Коновалов a . v . konovalov87_AT_mail . ru
      • ... Sergei Skorobogatov s . yu . skorobogatov_AT_gmail . com
        • ... Александр Коновалов a . v . konovalov87_AT_mail . ru
          • ... Sergei Skorobogatov s . yu . skorobogatov_AT_gmail . com
            • ... Стеллецкий Василий sw710_AT_yandex . ru
              • ... Sergei Skorobogatov s . yu . skorobogatov_AT_gmail . com
                • ... Стеллецкий Василий sw710_AT_yandex . ru
            • ... Александр Коновалов a . v . konovalov87_AT_mail . ru
              • ... Александр Коновалов a . v . konovalov87_AT_mail . ru
                • ... Стеллецкий Василий sw710_AT_yandex . ru
              • ... Sergei Skorobogatov s . yu . skorobogatov_AT_gmail . com
                • ... Александр Коновалов a . v . konovalov87_AT_mail . ru
                • ... Sergei Skorobogatov s . yu . skorobogatov_AT_gmail . com
                • ... Александр Коновалов a . v . konovalov87_AT_mail . ru

Ответить