Lists Home |
Date Index |
James Clark wrote:
>For example, in his recent book
> "Types and Programming Languages" Benjamin Pierce (one of the XDuce
> authors) offers the following definition:
> "As with many terms shared by large communities, it is difficult to define
> "type system" in a way that covers its informal usage by programming
> language designers and implementors but is still specific enough to have
> any bite. One plausible definition it this: A type system is a tractable
> syntactic method for proving the absence of certain kinds of program
> behaviors by classifying phrases according to the kinds of values they
> This is the sense in which the term "type system" is being used when the
> XQuery folks talk about the "XQuery type system".
CLASSIFY: To place objects, words, or situations into categories according
to defined criteria for each category.
As I've said.