[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Scheme-reports] [scheme-reports-wg1] Digest for scheme-reports-wg1@x - 13 Messages in 5 Topics
- To: Noah Lavine <noah.b.lavine@x>
- Subject: Re: [Scheme-reports] [scheme-reports-wg1] Digest for scheme-reports-wg1@x - 13 Messages in 5 Topics
- From: Alex Shinn <alexshinn@x>
- Date: Fri, 10 Aug 2012 07:52:46 +0900
- Cc: Emmanuel Medernach <emmanuel.medernach@x>, scheme-reports@x
- In-reply-to: <CA+U71=MDbCYLHgAF=0Dk4sA1jRLP_GdA=5kNUNmg3Ns61hMN0Q@mail.gmail.com>
- References: <0016e6d644a47d04bc04c6b59571@google.com> <CA+U71=M7ke_4896SUTrq2avfdhseNf_P726mdLMUEDUV1WqUBw@mail.gmail.com> <CAC_pKx-VYp48GBfUPUdD4bwxutr4B1r7Qw=EE2Ot5pGi_zi-EQ@mail.gmail.com> <CAMMPzYNk8a+A-s4RKR7Kx412urNjTYLWBTO-P_rk6eE=nB62XQ@mail.gmail.com> <CA+U71=MDbCYLHgAF=0Dk4sA1jRLP_GdA=5kNUNmg3Ns61hMN0Q@mail.gmail.com>
On Fri, Aug 10, 2012 at 6:45 AM, Noah Lavine <noah.b.lavine@x> wrote:
>
> However, I would not claim that my definition got that right. Maybe
> Emmanuel's is better, if it's worded like this:
>
> Two objects are eqv? if either they are the same location (i.e. they
> are eq?), or they are different locations but a) contain the same
> value and b) could never be mutated to contain different values.
You're begging the question - the task is to specify
what "the same value" means.
--
Alex
_______________________________________________
Scheme-reports mailing list
Scheme-reports@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports