[mwcampbell]

> However, one of the main goals of Native Image is to offer as much partial evaluation (PE) at compile-time as possible.

This is tangential, but I wonder if Native Image's focus on compile-time PE, and the overall design of GraalVM, would make it feasible to AOT-compile a sufficiently static subset of JavaScript to efficient native code. If so, that could influence my choice of language for new projects.

[The_rationalist]

First AOT binaries are slower than JIT, there's nothing efficient about it, at least for high level languages. Second you can already make javascript binaries thanks to GraalJs. The biggest added value by far is the polyglotism/interop with the other language universes.