On Tue, Dec 8, 2009 at 1:06 AM, David Wagner <[email protected]> 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
lmpx.com only provides a reader for public news (NNTP) servers. It is not
affiliated with the servers or forums shown here and is not responsible for
the content of articles, which is written by their respective authors.