15:26:50jcowanheisig: The model you describe is well-known to JavaScript implementers under the name of decompilation.
15:29:14jcowanNote also that the original JIT compiler for HP APL\3000 (1977) used a variant of this model: the fast version assumes type, rank, and shape invariance, whereas the slow version assumes only type and rank invariance. Because it's a JIT, repeated slow compilations (done on a line by line basis) will produce different results if one of the variables mentioned in the line is type- or rank-polymorphic
15:31:24jcowan(Another feature of interest of APL\3000 is that it does lazy evaluation under the covers, though everything looks eager to the user unless they examine the amount of free memory.
21:57:23lonjilApparently Clouseau doesn't like inspecting the type/class t, at least not on SBCL. Looked like it generated probably 50 pages of stuff when I expanded it.
21:57:35lonjiland I just realised this is the wrong channel, whoops