Re: POSSREPs as union types

From: Bob Badour <bbadour_at_pei.sympatico.ca>
Date: Fri, 04 Sep 2009 17:01:25 -0300
Message-ID: <4aa17222$0$23738$9a566e8b_at_news.aliant.net>



compdb_at_hotmail.com wrote:

> 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
> value.

Tuples are values -- no mapping required. In the situation you describe, two representations represent the same value. Received on Fri Sep 04 2009 - 15:01:25 CDT

Original text of this message