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