🔥

Тред (@shelajev)


Частичные вычисления (partial evaluation) это очень крутая концепция, не новая, но крутая. Сейчас попробую на пальцах описать twitter.com/jsunderhood/st…
Если совсем простым языком - интерпретатор и дерево станут единым представлением (например в виде графов компилятора) и потом оптимизируются. twitter.com/jsunderhood/st…

То как оптимизируется - хорошо описано вот здесь dl.acm.org/doi/10.1145/30… (если погуглить по названию наверняка есть препринт от авторов)

там есть момент один что было бы хорошо если бы джит компилятор умел некоторые специальные штуки. граальвм компилятор (сюрприз тоже мне) умеет. Вообще прям хороший компилятор на самом деле.

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