Design patterns in C

Так я и говорю: машина Тьюринга.

Если стремиться к минимизации операций, то можно brainfuck и whitespace вспомнить...

Что «машина Тьюринга»? Путаешь Тьюринг-полноту с машиной Тьюринга?

Если тебя интересует теоретическая сторона, то РЕФАЛ-машина является расширением машины нормальных алгоритмов Маркова на случай обработки древовидных данных. Фактически, она занимается редукцией графов. Тогда уж уместнее с хаскелем сравнивать, а с машиной Тьюринга.

s/а с машиной Тьюринга/а не с машиной Тьюринга./

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

даже не пушкой по воробьям , а чё ещё похлеще.

Жесть.

Я про практическую полезность и удобство программирования. По описанию всё кроме парсинга выглядит ужасно. (да и парсинг удобней Perl-подобный)

Тогда уж уместнее с хаскелем сравнивать

Если сравнивать с Хаскеллом, то определи на РЕФАЛе эти 7 функций:

s f g x = f x (g x)
k x y = x
b f g x = f (g x)
c f g x = f x g
y f = f (y f)
cond p f g x = if p x then f x else g x
fac = y (b (cond ((==) 0) (k 1)) (b (s (*)) (c b pred)))

Если сравнивать с Хаскеллом, то определи на РЕФАЛе эти 7 функций:

Ты как-то поверхностно смотришь.

«В лоб» твои примеры определить не получится, потому что в хаскеле каррирование, а в РЕФАЛе - нет. Лямбд там тоже нет. Соответственно, при прямом переводе получатся утверждения с иным смыслом.

Сначала нам пришлось бы написать функцию вида <HaskellEval somestate1> -> <HaskellEval somestate2>, выполняющую один шаг развёртки своего аргумента как хаскель-программы. Реализовать интерпретатор хаскеля.

Собственно, как раз для таких задач РЕФАЛ и предназначен — использование как мета-языка для исследований ЯП.

Я про практическую полезность и удобство программирования.

РЕФАЛ практически полезен как язык описания трансформаций графов. Смысл именно в том, что семантика языка достаточно мощная, чтобы производить абстракции произвольного уровня, и при этом достаточно примитивная, чтобы пользователь мог сосредоточиться на семантике изучаемой области и не отвлекался на семантику инструмента.

Хаскель в этом плане конечно тоже очень хорош как средство трансформации графов и в «голых тактико-технических характеристиках» намного лучше РЕФАЛа, но в нём СЛИШКОМ МНОГО САХАРА.

Что касается удобства программирования, это во многом субъективное понятие, ((30 лет (священных (войн))) ((вокруг скобочек) (как бы (символизируют)))).