Вот пример, как в Julia реализуется 1-я проекция Футамуры:
-
https://github.com/sergei-romanenko/julia-samples/blob/main/partial-eval/jupyter/interp_futamura.ipynb
Поскольку в Jula специализация методов идёт по типам аргументов, кодируем
программу в виде типа. И тогда интерпретатор специал
On Wed, Mar 15, 2023 at 9:11 PM Andrei Klimov andrei_AT_klimov.net <
refal@botik.ru> wrote:
Меня удивляло, почему уже давно существующий GraalVM не породил шума. Вроде
> есть, но живет где-то на заднем плане общественного интереса. Послушаю эту
> лекцию. Может, она объяснит, в чем пробуксовка, или
Коля, большое спасибо!
Меня удивляло, почему уже давно существующий GraalVM не породил шума. Вроде
есть, но живет где-то на заднем плане общественного интереса. Послушаю эту
лекцию. Может, она объяснит, в чем пробуксовка, или наоборот, расскажет,
что докладчик с командой сделали, чтобы продвинуть
Уважаемые коллеги!
Случайно набрел на любопытную левцию.
https://yandex.ru/video/preview/13941593127661880266
Олег Шелаев — Суперкомпиляция, partial evaluation, проекции Футамуры и как
GraalVM