Laurent Martelli
03 Jan 1999 13:23:59 +0100

>>>>> "Tril" == Tril  <> 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.