Enumerate all possible types. Persistence and reload: Save AST with types.

[emnh]

wokalski at discord:
I’m wondering... would it be possible to build a tool where you run the program as you normally do and the tool sort of in the background annotates some kind of ast of every .js file with all types a given variable can have ? And then after a few runs such representation is merged and you get all possible types ? Or I’m being lunatic now?

[emnh]

emh at discord: it's not so far from what I am doing now actually. for every js expression I translate to U(astNodeIndex, expression) where U is a function that records the type of the expression value on the AST node and then just returns the value of the expression, and then I eval the program. what remains to be done for your idea is just persistence and merging. I haven't thought about how I should represent the multiple types in the generated code yet though.