Re: MV Keys

From: Marshall Spight <marshall.spight_at_gmail.com>
Date: 7 Mar 2006 19:04:30 -0800
Message-ID: <1141787070.196520.53850@e56g2000cwe.googlegroups.com>

David Cressey wrote:
> "Marshall Spight" <marshall.spight_at_gmail.com> wrote in message:
> >
> > The RA does not have any operations for looking at elements. :-O
>
> But the RA does rely on the existence of an operator that can test two
> references to elements to see whether or not they refer to the same element.
> You can't do all the RA operators, if you can't tell the elements apart.

Definitely. For every domain the RA operates on, it needs a value-equality
test. This might make for some requirements on the type implementor or in might be possible to do automatically, but it must be done.

Marshall Received on Tue Mar 07 2006 - 21:04:30 CST