Вот пример, как в Julia реализуется 1-я проекция Футамуры:
- https://github.com/sergei-romanenko/julia-samples/blob/main/partial-eval/jupyter/interp_futamura.ipynb Поскольку в Jula специализация методов идёт по типам аргументов, кодируем программу в виде типа. И тогда интерпретатор специализируется по этому типу (т.е. программе). С.А. Романенко
