[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

Re: What are the characteristics of a good type system for XML

• To: Amelia A Lewis <amyzing@t...>
• Subject: Re: What are the characteristics of a good type system for XML?
• From: John Cowan <cowan@m...>
• Date: Tue, 13 May 2003 11:53:34 -0400
• Cc: Bob Foster <bob@o...>, xml-dev@l...
• In-reply-to: <20030513154522.GA25314@t...>
• References: <44.3113fcc7.2bf15bc1@a...> <20030512233607.78fa7d97.amyzing@t...> <2d3901c31909$e95f8fe0$1401a8c0@snobird> <20030513154522.GA25314@t...>
• User-agent: Mutt/1.3.28i

Amelia A Lewis scripsit:

> For the type gronk:
> 
> Given a string, the gronk type specification allows you to determine if this
> is a representation of a valid instance of type gronk.
> 
> boolean gronk(xmlstring);
> 
> Given two strings known to be of type gronk (see preceding function), return
> -1 0 1 to indicate whether the first is smaller than, equal to, or larger
> than the second (an equality function, plus a bit).
> 
> [-1,0,1] gronkSort(xmlstring, xmlstring);

The first is of course the minimum required, but the second assumes the type has
a natural total ordering, which may not be the case.  The RNG datatype interface
requires only that we be able to say, for two strings, whether they are
distinguishable or indistinguishable with respect to the type:  thus
01 and 1 are distinguishable as strings, but indistinguishable as integers.

-- 
John Cowan    http://www.ccil.org/~cowan   <jcowan@r...>
    "Any legal document draws most of its meaning from context.  A telegram
    that says 'SELL HUNDRED THOUSAND SHARES IBM SHORT' (only 190 bits in
    5-bit Baudot code plus appropriate headers) is as good a legal document
    as any, even sans digital signature." --me

• Follow-Ups:
  • Re: What are the characteristics of a good type systemfor XML?
    • From: Amelia A.Lewis <amyzing@t...>

• References:
  • What are the characteristics of a good type system for XML?
    • From: AndrewWatt2000@a...
  • Re: What are the characteristics of a good type systemfor XML?
    • From: Amelia A.Lewis <amyzing@t...>
  • Re: What are the characteristics of a good type system for XML?
    • From: "Bob Foster" <bob@o...>
  • Re: What are the characteristics of a good type system for XML?
    • From: Amelia A Lewis <amyzing@t...>

• Prev by Date: Re: What are the characteristics of a good type system for XML?
• Next by Date: Re: Ten new XQuery, XSLT 2.0 and XPath 2.0 Working Drafts
• Previous by thread: Re: What are the characteristics of a good type system for XML?
• Next by thread: Re: What are the characteristics of a good type systemfor XML?
• Index(es):
  • Date
  • Thread