>>20
excuse me, but if you can provide an alternative implementation that can support constructs such as the following
a = "lol I'm a string!";
print(a);
a = 1337;
print(a);
without wrapping primitives inside of objects that have something like a type tag, or a vtable pointer, then I would like to see it. And you can't optimize it to something like:
print_string("lol I'm a string");
print_int(1337);
because knowing predicting the type of a will, in general, reduce to the halting problem.