Рефал-сервер

Main Article Content

Александр Альфредович Гусев

Аннотация

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

Article Details

Биография автора

Александр Альфредович Гусев

Начальник отдела ЗАО «СайнАрт», специалист в области разработки банковских информационных систем.

Библиографические ссылки

 В.Ф. Турчин Программирование на языке РЕФАЛ. I. Неформальное введение в программирование на языке РЕФАЛ. M.: ИПМ АН СССР, 1971. Препринт №41. 55 с.

 М.Ш. Исламов. Декларативное программирование. Рефал в обучении [Электронный ресурс] / III Международная научно-практическая конференция "Современные информационные технологии и ИТ-образование", сб. докл. // Моск. гос.ун-т им. М.В. Ломоносова, Факультет вычислительной математики и кибернетики; под ред. В.А. Сухомлина. М.: МАКС Пресс, 2008. С. 252—256.

 Cборник трудов по функциональному языку программирования Рефал под редакцией А.П. Немытых, том II. // Переславль-Залесский: Издательство «СБОРНИК», 2015, 156 с.



Наиболее читаемые статьи этого автора (авторов)