ellibsЭлектронные библиотекиRussian Digital Libraries Journal1562-5419Казанский (Приволжский) федеральный университет10.26907/1562-5419-2020-23-4-697-707ellibs-224Research ArticleСтатьиРефал-серверRefal on Server SideГусевА. А.GusevA.gusev_aleksandr@mail.ruЗАО «СайнАрт»Company “SignArt”202028082020234697707Copyright © Гусев А.А., 20202020Гусев А.А.Gusev A.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://ellibs.elpub.ru/jour/article/view/224

Работа посвящена описанию проекта обновления и распространения языка программирования Рефал (далее – просто Рефал), созданного в СССР в 1960-х годах В.Ф. Турчиным. Язык изначально предназначался для различных логических преобразований, прежде всего, текстового материала и ориентирован на использование непрограммистами. На практике сфера применения оказалась шире: машинный перевод, оптимизация и компиляция программ, доказательство теорем, моделирование сложных электронных схем, решение ряда задач искусственного интеллекта. Язык сейчас имеет достаточное количество последователей, главным образом, в научных кругах.Задачей описываемого проекта является создание продукта, позволяющего использовать Рефал в современных массовых приложениях и расширить круг его потенциальных пользователей до всего интернета. Был проведён опрос сообщества пользователей и разработчиков Рефала с целью получения представления о текущем состоянии дел, актуальных реализациях и путях развития языка. Были рассмотрены возможные средства реализации проекта. Информации о ведущихся аналогичных разработках получено не было.

This work is devoted to the description of the project of updating the technology of algorithmic language application created in the USSR in the 60s of the XX century by V. F. Turchin. The language was originally intended for various logical transformations primarily of text material. In practice, the scope was wider: machine translation, optimization and compilation of programs, proof of theorems, modeling of complex electronic circuits, solving a number of problems of artificial intelligence. The language now has a sufficient number of followers, mainly in scientific circles.The objective of the described project is to create a product that allows the use of Refal in modern mass applications and to expand the range of its potential users to the entire Internet. A survey of the community of users and developers of Refal was conducted in order to get an idea of the current state of Affairs, current implementations and ways of language development. Possible means of project implementation were considered. No information was received on similar developments under way.

Рефалсерверобработка текстовискусственный интеллектметавычисленияxmljsonReferences В.Ф. Турчин Программирование на языке РЕФАЛ. I. Неформальное введение в программирование на языке РЕФАЛ. M.: ИПМ АН СССР, 1971. Препринт №41. 55 с. В.Ф. Турчин Программирование на языке РЕФАЛ. I. Неформальное введение в программирование на языке РЕФАЛ. M.: ИПМ АН СССР, 1971. Препринт №41. 55 с. М.Ш. Исламов. Декларативное программирование. Рефал в обучении [Электронный ресурс] / III Международная научно-практическая конференция "Современные информационные технологии и ИТ-образование", сб. докл. // Моск. гос.ун-т им. М.В. Ломоносова, Факультет вычислительной математики и кибернетики; под ред. В.А. Сухомлина. М.: МАКС Пресс, 2008. С. 252—256. М.Ш. Исламов. Декларативное программирование. Рефал в обучении [Электронный ресурс] / III Международная научно-практическая конференция "Современные информационные технологии и ИТ-образование", сб. докл. // Моск. гос.ун-т им. М.В. Ломоносова, Факультет вычислительной математики и кибернетики; под ред. В.А. Сухомлина. М.: МАКС Пресс, 2008. С. 252—256. Cборник трудов по функциональному языку программирования Рефал под редакцией А.П. Немытых, том II. // Переславль-Залесский: Издательство «СБОРНИК», 2015, 156 с. Cборник трудов по функциональному языку программирования Рефал под редакцией А.П. Немытых, том II. // Переславль-Залесский: Издательство «СБОРНИК», 2015, 156 с.

The authors declare that there are no conflicts of interest present.