Нашел лекцию: конкуренты

[nikolai.kondratiev_AT_gmx.de]

Уважаемые коллеги!

 

Случайно набрел на любопытную левцию.

 

https://yandex.ru/video/preview/13941593127661880266

 

Олег Шелаев — Суперкомпиляция, partial evaluation, проекции Футамуры и как GraalVM

[Andrei Klimov andrei_AT_klimov.net]

Коля, большое спасибо!

Меня удивляло, почему уже давно существующий GraalVM не породил шума. Вроде есть, но живет где-то на заднем плане общественного интереса. Послушаю эту лекцию. Может, она объяснит, в чем пробуксовка, или наоборот, расскажет, что докладчик с командой сделали, чтобы продвинуть метавычисления дальше в жизнь.

Андрей

[Sergei Romanenko sergei.romanenko_AT_gmail.com]

On Wed, Mar 15, 2023 at 9:11 PM Andrei Klimov andrei_AT_klimov.net <re...@botik.ru> wrote:

Меня удивляло, почему уже давно существующий GraalVM не породил шума. Вроде есть, но живет где-то на заднем плане общественного интереса. Послушаю эту лекцию. Может, она объяснит, в чем пробуксовка, или наоборот, расскажет, что докладчик с командой сделали, чтобы продвинуть метавычисления дальше в жизнь.

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

В случае системы Jula, специализация методов спрятана внутри (эко)системы. О ней может знать (и её эксплуатировать), например, автор какой-то прикладной библиотеки, но представитель "простого народа", который будет использовать эту библиотеку, может и не знать, что при этом (тихой сапой) происходит специализация программ. Разве что заметит, что скорость работы программы (почему-то) - большая.

Таким образом, конечный пользователь принуждается к использованию специализации программ (из-под палки). 😁

С.А. Романенко

[Sergei Romanenko sergei.romanenko_AT_gmail.com]

Вот пример, как в Julia реализуется 1-я проекция Футамуры:

• https://github.com/sergei-romanenko/julia-samples/blob/main/partial-eval/jupyter/interp_futamura.ipynb

Поскольку в Jula специализация методов идёт по типам аргументов, кодируем программу в виде типа. И тогда интерпретатор специализируется по этому типу (т.е. программе).

С.А. Романенко

[Mike Potanin mpotanin_AT_gmail.com]

Сталкивался, что GraalVM отказывались применять из-за лицензии. Ну и ограничение - JVM.

On Wed, Mar 15, 2023 at 9:11 PM Andrei Klimov andrei_AT_klimov.net <re...@botik.ru> wrote: