03 Jan 1999 13:23:59 +0100
>>>>> "Tril" == Tril <email@example.com> writes:
Tril> Yes, the type system is what provides the security.
Tril> Altering binary code.. is interesting. Since the system
Tril> knows the binary code depends on the source, changing the
Tril> binary code will give you several options:
It may be an insteresting technique to achieve afficiency, but it
should not be allowed to be done in the code/specs, since it is just
an implementation choice. But the compiler/interpreter shoud be
allowedto do it if it can give better efficiency.