21.01.1997  Мнения

 В Старом свете родились практически все наиболее красивые языки программирования. Заложенные в них оригинальные идеи основывались на фундаментальных математических теориях. Разрабатывались такие языки и в СССР, продолжают разрабатываться в России (например, Dinamic фирмы "Параграф" для описания трехмерных виртуальных миров). Наиболее почтенный по возрасту, но с годами только становящийся мощнее  -  это РЕФАЛ (РЕкурсивных Функций АЛгоритмический язык).  О судьбе этого языка рассказал Владимир Хорошевский, профессор, чл.-корр. РАЕН, руководитель сектора экспертных систем отдела проблем искусственного интеллекта ВЦ РАН. Ниже следует краткое изложение нашей беседы.  Первую версию РЕФАЛ разработал В. Ф. Турчин еще в 1964 г. Этот язык, в основе которого лежит концепция сопоставления с образцом, появился раньше Пролога и Снобола, которые часто считают родоначальниками этого направления. В основе РЕФАЛ лежит теория нормальных алгоритмов Маркова (реализованная во внутренней машине вывода), которая потенциально мощнее теории исчисления Хорновых дизъюнктов, воплощенной в Прологе. РЕФАЛ позволяет решать определенные задачи значительно эффективнее, чем его зарубежные собратья. Немаловажно, что он превосходит известные языки сопоставления с образцом по своей выразительной мощности и легкости понимания текста программ.  Первоначально так называемый базисный РЕФАЛ позиционировался как язык для преобразования произвольных языковых конструкций, своего рода метаалгоритмический язык ... читать далее.