Ну да. Только если про лямбду кричат на всех углах, комбинаторную логику вспоминают иногда, а вот марковские алгорифмы не упоминают вообще. Соответственно сопоставление с образцом в ФЯ как бы появляется ВНЕЗАПНО и из неоткуда.

А Рефал не зря всё-таки расшифровывается как "РЕкурсивных Функций АЛгоритмический язык" -- он вполне себе ФЯ -- в нём есть функции высшего порядка.

Нужен просто небольшой опыт. Если порешать, то становится видны базовые приемы для решения. Потом комбинируем. Всё как обычно в общем то Просто несколько не привычно

на машине тьюринга непосредственно писать алгоритмы (хотя бы те же) тоже весьма весело ).

Никакую. Нужен просто небольшой опыт.

Но интересно всё же, может ли это практически применяться в обычном, промышленном, коде?

я там нашел то, чего не нашел в документации к оному

В том случае, когда нужно ограничить множество значений, которое может принимать переменная (левой части рефал-предложения), в описание переменной вводится спецификация, которая должна находиться между типом переменной и индексом без пробелов. Спецификация может быть определена непосредственно в круглых скобках либо именем спецификатора (для предопределенных имен спецификаторов). Например, переменная S('+-')z может принимать значения только знаков '+' или '-'.

Кто-нибудь может посоветовать...

Снобол-4, Schoonschip

Сортировка букв по алфавиту

Т.е. как бы считается (создателями), что рефал самое то для символьных вычислений.

Т.е. как бы считается (создателями), что рефал самое то для символьных вычислений

Созидатели считали совсем по другому
Турчин создавал Рефал как метаязык для формального изложения семантики любого другого языка. В виде интерпретатора. А дальше - суперкомпиляция. (и что занимательно - сделали ведь)
Типа - и будет всем счастие.

Алексей, там не были ??? Вроде это они наследники главного созидателя.
Как минимум, про историю и цели созидателя - доходчиво рассказывают

Плавающая запятая - одно из мощнейших средств дезориентирования
математика-вычислителя. Она годится лишь для инженерных расчётов, а в
более серьёзных задачах (а главным назначением Рефала является всё же
обработка символьных данных, а не написание инженерных калькуляторов) её
применение становится просто опасным: результат сложного расчёта может
не иметь ничего общего с действительностью! Поэтому такие расчёты лучше
(на мой личный взгляд, разумеется) проводить непосредственно в
рациональных числах, понимая под таковыми, например, выражения Рефала-5
вида ((e.Num) e.Den), где e.Num - числитель, а e.Den - знаменатель.
Благо, средства для работы с натуральными числами произвольной
разрядности в Рефалах имеются.

Безусловно имея в голове базу из циклов и ифов довольно утомительно писать на языках имеющих иную базу. Просто потому, что постоянно в голове транслируешь код из одних понятий в другие.