Типы данных, объектные выражения

Программа на Рефале представляет собой функции, сгруппированных в модули. Функции являются одноаргументными, аргументы и результаты функций представляют собой иерархические структуры, называемые объектными выражениями. Объектное выражение представляет собой последовательность объектных термов (далее мы увидим, что существуют и другие виды термов), каждый из которых может быть или неделимым (атомом), или содержать в себе другое объектное выражение (назовём его составным термом).

TEMP Базисный Рефал

Эта статья в дальнейшем будет переработана и удалена. Пожалуйста, не сохраняйте ссылок на неё.

Приложение "Описание подмножества базисного Рефала"

Краткое описание подмножества

Данные, которые обрабатывает Рефал

Основной обрабатываемой структурой данных является объектное выражение. Объектное выражение — это структура данных, представляющая собой последовательность переменной длины (возможно пустую) объектных термов. Объектный терм может представлять собой либо атом — неделимую средствами языка Рефал (без учёта встроенных библиотечных функций) сущность, например, число, символ, имя (идентификатор) или что-либо другое (состав атомов в разных диалектах различается), либо т.н. скобочный терм — терм, содержащий внутри себя другое объектное выражение. Рассмотрим подробнее разные виды термов.

TEMP Идиомы

Эта статья в дальнейшем будет переработана и удалена. Пожалуйста, не сохраняйте ссылок на неё.

Идиомы программирования на Рефале

Понятие идиомы в языке программирования

Есть ли в Си++ цикл со счётчиком? А цикл foreach? Если смотреть узко, то нет. Строго говоря, в Си++, как и в Си, только три цикла (конструкции, порождаемые условными инструкциями и goto, рассматривать не будем), а именно while, for и do-while. Первые два из них являются циклами с предусловием, последний — с постусловием. Такая конструкция, как цикл со счётчиком, в синтаксисе отсутствует, в отличие, скажем, от Паскаля и Бейсика. Однако один из циклов с предусловием обладает одним интересным свойством: цикл for позволяет помимо самого условия задавать инициализатор и "модификатор" каждой итерации:

for( инициализатор ; условие ; модификатор )
    тело_цикла

Hello, Word на Модульном Рефале

По традиции начнём изложение языка с написания простейшей программы на этом языке. Для этого создадим текстовый файл с именем Hello.mref (расширение файлов исходного текста Модульного Рефала — .mref) со следующим содержанием:

$PROGRAM Hello;

/*
  Эта программа выводит на экран строку Hello, World!
*/

$IMPORT MInOut;

$ENTRY Go {
  // Вывод строки на экран
  = <MInOut::WriteLine 'Hello, World!'>;
}

$END Hello.

Введение

Язык Рефал (а точнее, целое семейство диалектов) — это функциональный язык программирования, ориентированный на так называемые символьные вычисления: произведение алгебраических выкладок, автоматическое доказательство теорем, обработка искусственных и естественных языков, в частности написание трансляторов, решение задач методами искусственного интеллекта и много чего другого (обо всём этом можно прочесть во введении к любому руководству по языку Рефал, например, здесь, поэтому не буду повторяться).