сделал прототип простенький
сделал прототип простенький на питоне
работает, метаинтерпретирует ))
«Смотрите, метаинтерпретирует!»
Метаинтерпретатор Meta. Алгоритм. (ЧММ - 6)
https://deep-econom.livejournal.com/1094124.html
ps
(о суперкомпиляции)
https://www.computer-museum.ru/histussr/turchin_sorucom_2011.htm
Впервые В.Ф. Турчин высказал эти идеи на семинаре в ИПМ зимой 1971-72 года (к сожалению, точнее дату восстановить невозможно). Он написал на доске простую программу - интерпретатор арифметических выражений на Рефале - и предложил провести вычисления «в общем виде» с заданным выражением, но неизвестными числовыми аргументами. Позже он учил нас, что введение переменных и выкладки «в общем виде» - это стандартный прием совершения метасистемного перехода в математике, который надо позаимствовать в программировании и методах обработке программ.
А в тот раз, проделав неформально вычисления над вызовом функции с переменными, он получил на доске текст, напоминающий результат трансляции арифметического выражения в команды машины, и воскликнул: «Смотрите, компилирует!».
Это было то, что сейчас называется специализацией программ по частично заданным аргументам.
работает, метаинтерпретирует ))
«Смотрите, метаинтерпретирует!»
Метаинтерпретатор Meta. Алгоритм. (ЧММ - 6)
https://deep-econom.livejournal.com/1094124.html
ps
(о суперкомпиляции)
https://www.computer-museum.ru/histussr/turchin_sorucom_2011.htm
Впервые В.Ф. Турчин высказал эти идеи на семинаре в ИПМ зимой 1971-72 года (к сожалению, точнее дату восстановить невозможно). Он написал на доске простую программу - интерпретатор арифметических выражений на Рефале - и предложил провести вычисления «в общем виде» с заданным выражением, но неизвестными числовыми аргументами. Позже он учил нас, что введение переменных и выкладки «в общем виде» - это стандартный прием совершения метасистемного перехода в математике, который надо позаимствовать в программировании и методах обработке программ.
А в тот раз, проделав неформально вычисления над вызовом функции с переменными, он получил на доске текст, напоминающий результат трансляции арифметического выражения в команды машины, и воскликнул: «Смотрите, компилирует!».
Это было то, что сейчас называется специализацией программ по частично заданным аргументам.