[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message] Re: XQuery types was Re: Yet another plea for XUpdat
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. Jonathan
|
PURCHASE STYLUS STUDIO ONLINE TODAY!Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced! Download The World's Best XML IDE!Accelerate XML development with our award-winning XML IDE - Download a free trial today! Subscribe in XML format
|