Построение результата, предложения и функции

Построение результата

Теперь рассмотрим второй фундаментальный механизм — подстановку значений в результатное выражение или короче построение результата. Но для начала введём пару определений.

Активным выражением называется объектное выражение, пополненное особыми термами — скобками вызова функции (синонимы: скобки активации, скобки конкретизации). Скобки активации имеют следующий вид:

<ИмяФункции активное-выражение>

В отличие от записи, традиционно принятой в математике и во многих языках программирования, в Рефале имя функции ставится не перед скобкой: f(x), а после неё: <F x>.

Сопоставление с образцом

Язык предоставляет два механизма, позволяющих работать с объектными выражениями: это сопоставление с образцом и подстановка значений в результаное выражение. Рассмотрим подробнее первый механизм.

Образцовое выражение (образец, pattern) представляет собой запись выражения, которое, в отличие от объектного выражения, может содержать переменные — неизвестные части. Если вместо переменных в образцовое выражение подставить конкретные значения, то получится объектное выражение.