Андрей! «Не думаю, что стоит брать язык сборки, разработанный Сергеем Романенко для Рефала-2, как в упомянутой работе по сопроцессору.»
А почему? «Может, лучше бы подошёл соответствующий промежуточный язык — набор элементарных операций из реализации Рефала Плюс, но он, кажется, нигде не описан.» Он описан в учебнике Гурина и Романенко (который PDF), но он ориентирован на массивное представление данных. А язык RL вообще ориентирован на абстрактную интерпретацию, т.е. далёк от физического представления. С уважением, Александр Коновалов From: Andrei Klimov andrei_AT_klimov.net [mailto:refal@botik.ru] Sent: Wednesday, February 20, 2019 9:35 PM To: refal@botik.ru Subject: Re: Потенциальная востребованность On Wed, Feb 20, 2019 at 8:46 PM Александр Коновалов a.v.konovalov87_AT_mail.ru <http://a.v.konovalov87_AT_mail.ru> <refal@botik.ru <mailto:refal@botik.ru> > wrote: Добрый вечер, Леонид! «В семидесятых-восьмидесятых были даже Лисп-машины и Пролог-процессоры, позиционировались для решения задач ИИ, особенно это Лиспа касалось.» Вы забыли упомянуть сопроцессор Рефала: http://www.keldysh.ru/papers/2003/prep99/prep2003_99.html Кстати, прекрасная тема для магистерской дипломной работы для пары-тройки студентов, которые могут работать вместе: * Реализация рефал-процессора на FPGA. Один, пожалуй, не потянет, а такая команда – вполне. Чтобы у каждого была своя дипломная работа, думаю, вполне можно разбить на зоны ответственности, выделив не сильно связанные части. Разработку системы команд проведут вместе и с научным руководителем, делать могут с пересечением, а описать – каждый свою часть. Например, хорошо отделяемая часть – компилятор в выбранную систему команд. Чтобы уложиться в сроки дипломной работы надо максимально упростить: делать как можно проще и компактнее, жертвуя эффективностью. Для такой работы демонстрация реализуемости в разумные сроки важнее эффективности. Не думаю, что стоит брать язык сборки, разработанный Сергеем Романенко для Рефала-2, как в упомянутой работе по сопроцессору. Может, лучше бы подошел соответствующий промежуточный язык – набор элементарных операций из реализации Рефала Плюс, но он, кажется, нигде не описан. Думаю, взглянув свежим взглядом, да еще с позиции современных технологий, можно сделать проще. Может, стоит взять за основу язык типа RL, который появился в руках Сергея, когда он делал самопримение специализатора (ссылка взята со страницы публикаций Сергей <https://pat.keldysh.ru/~roman/doc/> ): * С.А.Романенко. Генератор компиляторов, порожденный самоприменением специализатора, может иметь ясную и естественную структуру. - М.: ИПМ им. М.В. Келдыша АН СССР, 1987, препринт N 26. - 35 с. <https://pat.keldysh.ru/~roman/doc/1987-Romanenko--Generator_kompilyatorov__porozhdennyj_samoprimeneniem_specializatora--ru.pdf> PDF <https://pat.keldysh.ru/~roman/doc/1987-Romanenko--Generator_kompilyatorov__porozhdennyj_samoprimeneniem_specializatora--ru.djvu> DJVU Андрей
