Отделено отсюда:viewtopic.php?f=86&t=2237

Мдаа ужжж.....
Здоровый пластище оказался... Для моего-то мозга, необремененного функциональной парадигмой, и вершинами Рефала...
Мне показалось наиболее вразумительным вот здесь:http://metacomputation-ru.blogspot.com/ ... notes.html

Произвело впечатление, между прочим.
ОКАЗЫВАЕТСЯ - существует технология, которая мой MathParse (вообще то, интерпретатор, в терминах этого топика - Царь-библиотеку) в конкретный вычислительный алгоритм, коль скоро в run-time никто вычислительную формулу не меняет.

Илья, помните, я говорил Вам нечто типа: "фиг какой компилятор это сделает"
Ну вот, я оказался не правНе только это делает (превращает интерпретатор в конретное вычисление)... но и, скажем, превращает интерпрететор НКА - в ДКА (сам!!!) для конкретного регулярного выражения...

И чего получается??? А получается, что, упомянутая коллегами необходимость "сохранять для себя" конкретные, но более эффективные реализации более универсальных модулей - ОТПАДАЕТ
ЕСЛИ данная технология таки войдет в жисть
Но как-то долго у них там все варится.....

Как бы, на Рефал-5, в качестве базового языка для HiAsm - я пока еще не созрел....
А смотрелось бы не плохо: всякая схема представляется как некий шаблон из рефал-исходников элементов, и к ней применяется SCP4... Ну и так далее, вверх по уровням.
И пускай себе отдельные элементы (и "разъемные соединения" между ними!!!) являются не эффективными "Царь-библиотеками"
Это как раз то, чего нам жутко не хватает... Но, не созрел еще...