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 ]

At 08:08 AM 5/6/2002 +0700, James Clark wrote:
>In the CS context, "type system" doesn't just mean a way of collecting 
>individuals into sets. 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".

Yes, I agree with this.



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

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