Re: POSSREPs as union types
Date: Fri, 04 Sep 2009 17:01:25 -0300
> Please ignore all mention of "cartesian" in my last message.
> On Sep 3, 1:22 pm, com..._at_hotmail.com wrote:
>>A possrep (possible representation) maps a subset of a >>cartesian product (namely those that satisfy the possrep constraint) >>to values of the type. Two cartesian tuples can map to the same >>value. A selector invocation (a possrep name with arguments) maps >>its arguments as a cartesian tuple to the corresponding value.
> I should have said:
> A possrep (possible representation) maps a subset of a
> tuple type (namely those that satisfy the possrep constraint)
> to values. Two tuples can map to the same
Tuples are values -- no mapping required. In the situation you describe, two representations represent the same value. Received on Fri Sep 04 2009 - 22:01:25 CEST