Re: data & code
Date: Thu, 27 May 2004 18:49:44 +0300
Message-ID: <40b60d3c$1_at_post.usenet.com>
- Post for FREE via your newsreader at post.usenet.com ****
"Laconic2" <laconic2_at_comcast.net> wrote in message
news:XoydnXkhPOeVeSjdRVn-gw_at_comcast.com...
>
> "Dawn M. Wolthuis" <dwolt_at_tincat-group.com> wrote in message
> news:c938nq$8r0$1_at_news.netins.net...
>
> > For the definition of type?
> >
> > Def: The type of a variable v is the set of all valid values for v.
> I think it's worthwhile to have two different terms for the set of all
> possible values of a variable
> and the same thing plus some defined operators. I like the word "domain"
> for the set of all possible
> values of a variable, and the word "type" for "domain plus operators".
> However, I'll admit that, even though I like it, I don't tend to use it.
> My tendency is to use "type" and "domain" as synonyms.
> That's sloppy of me.
>
Let's pretend that a variable is a function that assign a value to a point
in time.
Then the type (of the variable) is the RANGE (or codomain) of that function.
One could associate to a type, all functions/operators that return a value
of that type.
The domain (of a relation/function/operator) is the set of values where the
relation/function/operator is defined.
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
- Usenet.com - The #1 Usenet Newsgroup Service on The Planet! *** http://www.usenet.com Unlimited Download - 19 Seperate Servers - 90,000 groups - Uncensored -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=