я тоже сколько ни пробовал - не было прироста

Почему же... Переключений же нет, когда все модули в native скомпилированы

ну это смотря какой код в конкретном случае. в целом трудно представить erlang программу в которой постоянного переключения между beam и нативным кодом не будет

Ну там у HiPE были конкретные лимитации типа persistent_term, матчить в бинарях и try rescue эликсировский

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

Да, это правда

нет, я все выполнение пробовал локализовать в одном модуле

я так понял это отмирающий инструмент, потому наверно и зарубатья вникать нет смысла

к сожалению — да, слишком сложный и неподдерживаемый для otp команды

если jit будет полным и развиваться, то смысла в частичных оптимизациях вообще нет

Если кому интересно, вся идея с подстановкой рекордов в erl_eval заключается в следующем:
- найти где-нибудь Forms с описаниями рекордов
- слепить фэйковый модуль в котором будет описание рекордов и фэйковая функция состоящая из Expr которые мы хотим выполнить
- заменить в этом модуле Expr работающие с рекордами на работу с таплами с помощью волшебного модуля erl_expand_records
- вытащить из фэйковой функции преобразованного выше модуля новые Expr
- и уже их спокойно выполнить

По такой схеме работает shell.

ого... А можно будет где-то на твою реализацию посмотреть?

Бредятина полная :)

Это я на нашем опыте говорю

лучший ресурс, имхо - исходники имеющихся проектов. elixir, lfe, joxa(сложна читать, потому что он полностью бутстрапится). можно читать clojerl, там тоже довольно интересно, но абсолютно непрактично.
на http://blog.erlang.org/ есть три поста про core erlang от 2018 года, но core erlang - довольно спорный таргет, и эмитить обычный эрланг(как это делает эликсир) может быть чуть сложнее, но профитней.

С чего ты решил, что эликсир эмитит обычный эрланг?

из эликсирных модулей уже много лет erlang abstract code достается

Ну если erlang abstract code это обычный эрланг - то как бы да

ну тут мы можем немного расходиться в понятиях, но по-моему, abstract format это самый что ни на есть эрланг.

слушай, там всего ничего кода, но он официально под NDA 😕

Я уже поднял тему возможности выкладывания таких частей, но пока ответа нет. Поэтому как смогу покажу.