[e-lang] [Caja] Functional auditor for Cajita

ihab.awad at gmail.com ihab.awad at gmail.com
Tue Dec 8 09:58:41 PST 2009


On Tue, Dec 8, 2009 at 1:06 AM, David Wagner <daw at cs.berkeley.edu> wrote:
> David-Sarah Hopwood  wrote:
> P.S. Does Cajita's taming make it a design goal to tame away all access
> to non-determinism?  If not, that's something else you'll have to tackle.

We haven't done that yet but are thinking about it at the moment.

> P.P.S. Does Cajita expose object identity?

At the moment, yes, via JS's "===".

> If I know that f is purely functional and I call f(o1) and f(o2),
> do you want to be able to infer that f(o1) is "equivalent" to
> f(o2), or are you OK with the possibility that f(o1) might be
> totally unrelated to f(o2)?

Under the circumstances, we would have to be ok with the "unrelated" case.

Ihab

-- 
Ihab A.B. Awad, Palo Alto, CA


More information about the e-lang mailing list