Re: POSSREPs as union types

From: <>
Date: Sat, 5 Sep 2009 16:23:36 -0700 (PDT)
Message-ID: <>

On Sep 4, 1:01 pm, Bob Badour <> wrote:
> wrote:
> > On Sep 3, 1:22 pm, wrote:
> > 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.

Sorry, it's not clear to me what you mean.

In TTM a possrep maps ordered components to a value. This is why I originally used cartesian tuples. But TTM also requires names for the components. So I changed to (plain) tuples (with named elements) ("no big deal").

I was using "value" to mean represented value (of the type represented by a given possrep) and "tuple" to mean representing tuple
(of possrep components or selector invocation arguments). I characterized a possrep as a mapping from representing tuple to represented value.

philip Received on Sat Sep 05 2009 - 18:23:36 CDT

Original text of this message