Selectively using code generation to implement closures over immutable variables could get you part of the way there while allowing a lot of the work to be done

Selectively using code generation to implement closures over immutable variables could get you part of the way there while allowing a lot of the work to be done at compile time and avoiding the need for a full JIT. How much it would help performance in practice I couldn't say.