OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help



   Re: [xml-dev] XQuery types was Re: [xml-dev] Yet another plea for XUpdat

[ Lists Home | Date Index | Thread 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
> compute."
> 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.



News | XML in Industry | Calendar | XML Registry
Marketplace | Resources | MyXML.org | Sponsors | Privacy Statement

Copyright 2001 XML.org. This site is hosted by OASIS