rtjalkbo

4 ms·

1. 1.▲
   by rtjalkbo 7y ago

   Thanks for the link - a lot of interesting literature to dig into! Generally with unknown (at compile-time) variable types, you need to box the variables (carry type information in addition to the value). The operators may then either work
2. 2.▲
   by rtjalkbo 7y ago

   Co-author of the thesis here - if anybody is interested in the source code, let me know. Keep in mind that JS has changed quite a bit in the years that have passed and that certain aspects ('eval' in particular) was excluded from
3. 3.▲
   by rtjalkbo 7y ago

   See "2.6 related works" :-) Though other comments here have suggested some missing references for Lisp in particular.
4. 4.▲
   by rtjalkbo 7y ago

   Co-author of the thesis here - we wrote it almost 6 years ago, so my memory may be a little rusty :-) The question we dealt with was how to compile a weakly, implicitly and dynamically typed language (see the definitions in the thesis, but