Ознакомился. Удивительно, на самом деле. Технологии скоро 30 лет. Если б я писал на Окамле, написал бы себе динамический компилятор.

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