Re: Philosophy of XML datatypes (was: What is an integer? (was: Re: [xml-dev] XML Quiz))

Roger L Costello <[email protected]> Wed, 29 Mar 2023 16:36:08 +0000
Newsgroups gmane.text.xml.devel
Message-ID <SA9PR09MB59529D8B0B2A1037CA4AE4A3C8899@SA9PR09MB5952.namprd09.prod.outlook.com>
Previously Roger wrote:

The value of the <num> element -- 44 -- represents an integer.

Peter Flynn responded:

No, the *value* of the <num> element *is* an integer. It's the '44' that *represents* an integer.

Ghislain Fourny followed up with:

Formally, in XML Schema, this is captured by types having a value space and a lexical space.

The value space of xs:integer is the set of the actual mathematical integers, so Z.

The lexical space of xs:integer is the set of strings corresponding to the decimal representation of an integer.  Roger: The set of strings matching this regex: [+-]?[0-9]+ 

The lexical mapping of xs:integer maps each string representation (also called a literal, this is what appears in XML as text) to an integer value in the value space.

Fantastic! Thank you!