Re: Values have types ??

From: Bob Badour <bbadour_at_golden.net>
Date: Sun, 7 Sep 2003 19:48:10 -0400
Message-ID: <AEQ6b.667$K_5.62956615@mantis.golden.net>

"Alfredo Novoa" <alfredo_at_ncs.es> wrote in message news:e4330f45.0309071452.1061b71b_at_posting.google.com...
> "Bob Badour" <bbadour_at_golden.net> wrote in message
news:<Gov6b.620$E22.56197163_at_mantis.golden.net>...
>
> > The symbol 2 conventionally denotes a value that has lots of types.
>
> I prefer: "belongs to lots of types". In the model we are discussing
> types are sets and values are elements.
>
> "Elements have sets" does not sound very well to me.

While values are elements in the set of values defined for a type, types are elements in the set of types defined for a value.

As much as it pains me to say it: "It all just depends on your frame of reference." Received on Sun Sep 07 2003 - 18:48:10 CDT