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>
>
> 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.
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 - 22:01:25 CEST