freenode/#sicl - IRC Chatlog
Search
15:26:50
jcowan
heisig: The model you describe is well-known to JavaScript implementers under the name of decompilation.
15:29:14
jcowan
Note 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:24
jcowan
(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.
15:55:30
heisig
jcowan: Yes, one reason of why I came up with this idea is because of my previous discussions with Lars Bak.
15:55:50
heisig
And I have actually read the HP APL paper - it happens to be relevant to my PhD work.
21:57:23
lonjil
Apparently 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.