• To: James Clark <jjc@j...>,Jonathan Borden <jborden@a...>,Dare Obasanjo <kpako@y...>
• Subject: Re: XQuery types was Re: Yet another plea for XUpdate...
• From: Jonathan Robie <jonathan.robie@d...>
• Date: Mon, 06 May 2002 08:45:08 -0700
• Cc: xml-dev@l...
• In-reply-to: <92011815.1020672534@[192.168.0.168]>
• References: <000b01c1f49b$7ea90980$0301a8c0@n...><000b01c1f49b$7ea90980$0301a8c0@n...>

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 
>compute."
>
>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.

Jonathan

• References:
  • Re: XQuery types was Re: Yet another plea for XUpdate...
    • From: "Jonathan Borden" <jborden@a...>
  • Re: XQuery types was Re: Yet another plea forXUpdate...
    • From: James Clark <jjc@j...>

• Prev by Date: RE: Semantics was Re: XQuery types ...
• Next by Date: Re: XQuery types was Re: Yet another plea for XUpdate...
• Previous by thread: Re: XQuery types was Re: Yet another plea for XUpdate...
• Next by thread: Re: XQuery types was Re: Yet another plea for XUpdate...
• Index(es):
  • Date
  • Thread