Языки с JIT компилятором

Ruby

Меня интересует реализация линкования модулей/функций и hot code reloading

https://github.com/racket/racket7/blob/master/racket/src/expander/eval/dynami...

Меня интересует реализация линкования модулей/функций и hot code reloading (не знаю как правильно перевести на русский).

Посмотри реализацию класса RuntimeDyld (Runtime Dynamic Loader) в LLVM. В туториале LLVM также есть пример простого JIT-компилируемого языка.

Позови, когда дойдешь до рассмотрения совокупностей как новых систем.

Позови, когда дойдешь до рассмотрения совокупностей как новых систем.

Хочешь совокуплять и плодить сущности? Оккам неодобряет. Но если уж взялся, то не надо натягивать сову определение одной сущности на совокупность нескольких.

со статической типизацией и JIT компиляцией

terralang.org

А те же Lua и JS довольно громоздкие в этом плане проекты и просто так их исходники не прочесть

Так будет с любым нетривиальным проектом. К JIT-у есть определенные требования, чтобы он имел какой-то смысл, так что на простоту особо не рассчитывай. Хотя я ковырялся в LuaJIT в практических целях, ничего сверхестественного там нет, если речь о чтении (писать это другой скилл, офк).

Определение для абстрактного исполнителя? Комбинация им является? Ну все, пошла сова.