[e-lang] [Caja] Re: a medium-size code review (metaweta/audit)

[Mark Miller]

[+e-lang] Since it relates to the Caja/GWT/Joe-E thread started by Lex.

On Feb 7, 2008 9:19 AM, Mike Stay <metaweta at gmail.com> wrote:
> In Joe-E, auditing is done by typing, so it wouldn't make any sense to
> have two trademarks with the same name.  How is it done in E?

By use of E's "==" comparison. For typical auditors, this is object identity.

In Joe-E, it is only an unfortunate consequence of our inability to
tame the Java ClassLoader that makes types be 1-to-1 with textual
names. Leaving this issue aside, type identity in Joe-E, like in Java,
should be consider to be founded in object identity as well, not
string equality.

This does raise an interesting issue: Since we'd like to eventually
"GWT(Joe-E) -> Caja", we should introduce auditing into Caja such that
it makes a good target for preserving similar audits of Joe-E code. I
think the only way this affects the current design is that we should
use the Joe-E name "Immutable" rather than the E name "DeepFrozen".

-- 
Text by me above is hereby placed in the public domain

    Cheers,
    --MarkM