Type System
The type system of XPath 2.0 is noteworthy for the fact that it mixes strong typing and weak typing within a single language.
Operations such as arithmetic and boolean comparison require atomic values as their operands. If an operand returns a node (for example, @price * 1.2), then the node is automatically atomized to extract the atomic value. If the input document has been validated against a schema, then the node will typically have a type annotation, and this determines the type of the resulting atomic value (in this example, the price attribute might have the type decimal). If no schema is in use, the node will be untyped, and the type of the resulting atomic value will be untypedAtomic. Typed atomic values are checked to ensure that they have an appropriate type for the context where they are used: for example, it is not possible to multiply a date by a number. Untyped atomic values, by contrast, follow a weak typing discipline: they are automatically converted to a type appropriate to the operation where they are used: for example with an arithmetic operation an untyped atomic value is converted to the type double.
Read more about this topic: XPath 2.0
Famous quotes containing the words type and/or system:
“Time has an undertaking establishment on every block and drives his coffin nails faster than the steam riveters rivet or the stenographers type or the tickers tick out fours and eights and dollar signs and ciphers.”
—John Dos Passos (1896–1970)
“... the yearly expenses of the existing religious system ... exceed in these United States twenty millions of dollars. Twenty millions! For teaching what? Things unseen and causes unknown!... Twenty millions would more than suffice to make us wise; and alas! do they not more than suffice to make us foolish?”
—Frances Wright (1795–1852)