Добрый вечер, Сергей! «А это было не так. И первая (минимальная не пустая) „неподвижная точка“ — Рефал Плюс.»
Рефал-4 замкнут только относительно прогонки. А Рефал Плюс — ещё и относительно разрезания стека (ибо коместность). «Рефал Плюс единственный из Рефалов с коарностью (если даже не единственный язык программирования с коарностью в мире).» В Common Lisp’е функции могут возвращать несколько значений (и это не возврат списка): http://lisper.ru/pcl/the-special-operators#Множественные значения Механизм, конечно, извращённый, но тем не менее, функция возвращает несколько значений. В языке Go функции тоже могут возвращать несколько значений: https://ru.wikipedia.org/wiki/Go#Функции_могут_возвращать_несколько_значений Языки, которые поддерживают кортежи, не считаются. Ну можно вернуть кортеж из нескольких значений, но это всё равно будет возврат одного значения — кортежа, а не нескольких. В Go нет кортежей, но множественный возврат есть. Так что Рефал Плюс — не единственный язык с коарность, или слово «коарность» я понял не так. С уважением, Александр Коновалов -----Original Message----- From: Sergei M. Abramov abram_AT_botik.ru <refal@botik.ru> Sent: Monday, December 2, 2019 5:34 PM To: Александр Коновалов a.v.konovalov87_AT_mail.ru <refal@botik.ru> Subject: Re: Нужна ли "Ленинская простота" в Рефале? День добрый, всем! > «Постепенно, по мере усложнения задач, возникли желания по оптимизации > и оказалось, что проще вводить новые конструкции в язык, чем > интеллектуализировать исполнение программы изнутри.» > Не понял мысль. Речь о каких новых конструкциях? Ох, для меня важнее другая мотивация: я ее писал и она просто отслеживается в статьях С.А.Ромяненко: 1. Рефал задумывался как метаязык. 2. Результат метавычислений над Рефалом должен естественно изобрабаться на Рефале. А это было не так. И первая (минимальная не пустая) "неподвижная точка" -- Рефал Плюс. PS. Конечно попросят примеров. Напомню один: суперкомпиляция с рассечением стеков пораждает функции с коарностью. Рефал Плюс едиснтвенный из Рефалов с коарностью (если дабе не единственный язык программирования с коарностью в мире). Всего доброго, Сергей Абрамов