Cart
[Home] [By Thread] [By Date] [Recent Entries]
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
|
