Cтраница 1
Рефал, удается достичь высокой выразительности и наглядности. [1]
Существенной особенностью Рефала является отсутствие оператора перехода. Эта черта определяет стиль программирования, который носит название структуризованного ( structured) программирования. [2]
Группа энтузиастов Рефала и CAB объединялась вокруг ИПМ и работала в тесном контакте с Институтом В Л Топунов [1975] со своими коллегами из МГПИ использовали CAB на Рефале в дифференциальной геометрии Вместе с В П Шапеевым и другими учениками Н Н Яненко в ИТПМ СО АН СССР в Новосибирске они реализовали метод внешних форм Картана и исследовали характеристики дифференциальных схем ( А Е Арайс. [3]
Запись алгоритма на РЕФАЛе представляется в виде совокупности некоторого числа рекурсивных функций на множестве строк символов. Рекурсия - это способ определения функции, при котором ее значение в каждой точке определяется через значение в предыдущей точке. [4]
ЛИСПе, звеньевая цепочка в РЕФАЛе) и согласованные с этими структурами базовые операции - примитивные функции. Это обстоятельство сильно затрудняет применение существующих ЯФП в ПО, в которых выбранные структуры данных и примитивные функции малопригодны. Реализованный же в некоторых версиях этих языков аппарат подключения дополнительных примитивов развит недостаточно. [5]
Выразительные возможности образцов достаточно велики, в частности, подстановки алгоритмов Маркова и операторы языка Рефал являются образцами специального вида. Однако с точки зрения способности к развитию система рбразцов недостаточно выразительна. [6]
Выполнение конкретизации - переход от имени к значению - объявляется основной и, по существу, единственной операцией в языке Рефал. [7]
В РАФОС имеются и другие языки программирования ( их описание не вошло в справочник): Кобол, Бейсик, Паскаль, Рефал, препроцессор для структурного программирования на Фортране - Ратфор. [8]
К ним относятся языки алгол, алсол-68, кобол, лисп, ПЛИ, симула, фортран, а в СССР также алгамс, альфа, рефал. [9]
Группа энтузиастов Рефала и CAB объединялась вокруг ИПМ и работала в тесном контакте с Институтом В Л Топунов [1975] со своими коллегами из МГПИ использовали CAB на Рефале в дифференциальной геометрии Вместе с В П Шапеевым и другими учениками Н Н Яненко в ИТПМ СО АН СССР в Новосибирске они реализовали метод внешних форм Картана и исследовали характеристики дифференциальных схем ( А Е Арайс. [10]
Так вот, PROLAN / F относится к функциональным языкам. К функциональным языкам можно отнести и близкий к Лиспу по сфере использования Рефал, хотя в последнем немало процедурности. Это что касается чисто функционального подхода. Но, разумеется, его элементы в той или иной степени присутствуют и в языках других направлений. Например, они есть в языке логического программирования Пролог. [11]
Чубаров 3 АЛМАК, Тула, Политехи ин-т, АНАЛИТИК, СМ-1410, ЮБ Под-чуфаров, А П Матвеев 4 ВИБРАН, Вильнюс, ВИСИ, Фортран, ЕС-130К, СМ-28К, ПК, Р П Кульветене и Г П Кульветис 5 ДИНАМИКА Иркутск, Иркутск ВЦ СО АН, Алгол-ГДР, БЭСМ-6 35 зон мл, ЛАБурлакова, В В Голиков и др Также - MLR ( Алгол-ГДР), МЕХАНИК ( PL-1) EC, M В Почтаренко, А В Банщиков. А Бурлакова и др 6 КИДИМ, Харьков, Политехи Инст Алгол-68, ЕС 1МБ, ПК, В Н Митин и Л И Штейнвольф 7 СПИН, Ленинград, ЛИАП, Фортран, ЕС, 700К, Р И Сольницев и И В Ковтун 8 ANTRA-VEKTRA, Ленинград, ЛИТЛП, Фортран, ЕС, 120К, А Б Кикин и 3 Е Пейсах 9 MMANG, Гродно Гродн госун-т Рефал, ЕС 1МБ, О М Городецкий 10 MMT-1 / V2, Киев, Политехи ин-т, PL-1, EC, 350K, С Я Свиситунов и др 11 SYMA, Москва, НПО Энергия, PL-1, ЕС 210тысф / о, А В Яценко, Ленинерад-88 12 Подсистема-Reduce Пермь. [12]
Чтобы иметь возможность представлять обобщенные предложения, используются три типа переменных: е - для представления выражений; t - для термов; s - для символов. В простейшем случае переменные записываются в виде указателя типа ( е, t, s) и индекса; например, еь е2 - переменные, пробегающие в качестве значений выражения. Выражением в языке Рефал называется последовательность знаков, правильно построенная в соответствеии с синтаксисом языка Рефал. [13]
Теперь основная проблема состоит в установлении природы отношения предпочтения на множестве продукций. Объективная необходимость такого отношения обоснована пока чисто эмпирически - мы просто выявили используемый в программировании прием. Так, в описании языка Рефал прямо говорится, что частные правила должны располагаться перед общими [21], Точно также, при программировании последовательности условных операторов, вообще говоря, необходимо соблюдать определенный порядок их следования. [14]
Чтобы иметь возможность представлять обобщенные предложения, используются три типа переменных: е - для представления выражений; t - для термов; s - для символов. В простейшем случае переменные записываются в виде указателя типа ( е, t, s) и индекса; например, еь е2 - переменные, пробегающие в качестве значений выражения. Выражением в языке Рефал называется последовательность знаков, правильно построенная в соответствеии с синтаксисом языка Рефал. [15]