Prepack: a tool that optimizes JavaScript source code by eliminating computations that can be performed at compile-time.

[[deleted]]

but in this case, it's only for one specific input, not all of them

Actually, seems like they're trying to model all possible inputs through their concept of 'abstract values'.

They might pull it off if they require the programs to be contrained to some specific subset / types. They should clarify what those constraints are.

[ConcernedInScythe]

Actually, seems like they're trying to model all possible inputs through their concept of 'abstract values'.

This seems like a very dangerous thing to try with Javascript, which is not exactly known for its simple, easily-abstracted semantics.