Добрый вечер, Аркадий! «Для Рефала-6 Н.Кондратьев в бытность в ИПСе (1988-1990) сделал так называемый полу-суперкомпилятор (ПСК) для Рефала-6. Как я понимаю, его составной частью была прогонка.»
Видел краткое упоминание об этом в статье: http://conf.nsc.ru/files/conferences/Lyap-100/fulltext/69293/69928/nemytykh_supercompilation_Lyapunov100.pdf «Прогонка была сделана для ограниченного рефала, который допускал термы.» Т.е. не по препринту Сергея Романенко про Рефал-4, а по «Эквивалентным преобразованиям» Турчина. Значит, препринт про Рефал-4 ждёт ещё своего программиста :-). «На входе ПСК рефал-6 конвертировался в ограниченный.» В Рефале-6 функции могут возвращать неуспехи. Как они были сделаны: функция возвращала Success e.Значение | Fails? Или как-то иначе? «Сейчас я не уверен, допускается ли любой текст на Рефал-6 в последней (моей) версии. Все это у меня лежит и наверно, работает, но я уже давно к этому не притрагивался.» Сколько всего припрятано под сукном… А полу-суперкомпилятор написан на Рефале-6? Он самоприменим на сколько-нибудь? С уважением, Александр Коновалов From: Arkady Klimov [mailto:arkady.kli...@gmail.com] Sent: Monday, January 22, 2018 7:39 PM To: refal@botik.ru Subject: Re: Не понял про ограниченный РЕФАЛ >> А в виде программы кто-нибудь реализовывал прогонку для >> Рефала-4/Рефала-Плюс/Рефала-6? Для Рефала-6 Н.Кондратьев в бытность в ИПСе (1988-1990) сделал так называемый полу-суперкомпилятор (ПСК) для Рефала-6. Как я понимаю, его составной частью была прогонка. "Полу" относилось, как я понимаю, к конфигурационному анализу и зацикливанию, все было сильно упрощено, сейчас не вспомню точно в чем. Потом я прикручивал к его выходу маппинг в С. Прогонка была сделана для ограниченного рефала, который допускал термы. На входе ПСК рефал-6 конвертировался в ограниченный. Сейчас я не уверен, допускается ли любой текст на Рефал-6 в последней (моей) версии. Все это у меня лежит и наверно, работает, но я уже давно к этому не притрагивался. Аркадий 22 января 2018 г., 17:25 пользователь Eisymont Leonid <verger...@yandex.ru <mailto:verger...@yandex.ru> > написал: Ну, я рад за вас. Да еще любимую книгу из ЦНИПИАС-а процитировали. Заодно вопрос, какие очаги деятельности по Рефалу сейчас остались? Что-то мне внутренний голос говорит, что он снова станет актуальным из-за работ по пост-кремниевым технологиям в этом десятилетии. Заманчиво воскресить работу по параллельному рефалу да еще на клеточных автоматах. Такие автоматы, например, в сверхпроводниковой электронике любят. Л.Эйсымонт 22.01.2018, 16:52, "Andrei Klimov" <kli...@keldysh.ru <mailto:kli...@keldysh.ru> >: 2018-01-22 7:58 GMT+03:00 Eisymont Leonid < <mailto:verger...@yandex.ru> verger...@yandex.ru>: Настоящие ученые, один в 4.16 вопрос задал, другой в 6.59 ответил. Леонид, какой ты наблюдательный! 🤗 Да, засиделся: хотел уже ложиться спать, а тут редкий вопрос по Рефалу пришел...😳 Душа радуется, нас не победить. Да, еще держимся! 🤓 Андрей Климов -- _______________ С уважением, Аркадий Климов, с.н.с. ИППМ РАН, +7(499)135-32-95 +7(916)072-81-48