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

Re: XPath 1.5? (was RE: typing and markup)

• To: David Carlisle <davidc@n...>, "'xml-dev@l...'"<xml-dev@l...>
• Subject: Re: XPath 1.5? (was RE: typing and markup)
• From: Francis Norton <francis@r...>
• Date: Wed, 08 May 2002 14:40:05 +0100
• Cc: jonathan.robie@d...
• References: < <5.1.0.14.0.20020507100109.04decec0@n...> <5.1.0.14.0.20020507100109.04decec0@n...> <5.1.0.14.0.20020507112929.04dfc880@n...> <200205080828.JAA19813@p...>
• User-agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:0.9.9) Gecko/20020311

David Carlisle wrote:

>I have yet to see this done for any seriously complicated transform.
>If the transformation is sufficiently simple then you could do this
>without the type system, but are you really expecting to be able to
>typecheck a function mapping (say) docbook to XHTML and guarantee that
>given a valid docbook instance a valid XHTML instance will come out?
>
>This may be just about possible with the XQuery style, but is highly
>dubious with the recursive template style in XSLT. You really don't have
>a good enough handle on when the templates will fire in order to
>typecheck the whole transform (as opposed to individual component
>functions). 
>
Are you talking about validating an ad-hoc transform or letting the user 
select one from a generated set of possible valid transforms?

My experience generating XSLT type taggers from XSDL suggests that using 
XSLT modes to represent FSM states can make this area rather more 
 tractable than I, for one, had expected.

Francis.

• Follow-Ups:
  • Re: XPath 1.5? (was RE: typing and markup)
    • From: David Carlisle <davidc@n...>

• References:
  • RE: XPath 1.5? (was RE: typing and markup)
    • From: Jonathan Robie <jonathan.robie@d...>
  • Re: XPath 1.5? (was RE: typing and markup)
    • From: Jonathan Robie <jonathan.robie@d...>
  • Re: XPath 1.5? (was RE: typing and markup)
    • From: David Carlisle <davidc@n...>

• Prev by Date: RE: PSVI and XPath 2.0 data model
• Next by Date: Re: RE: PSVI and XPath 2.0 data model
• Previous by thread: Re: XPath 1.5? (was RE: typing and markup)
• Next by thread: Re: XPath 1.5? (was RE: typing and markup)
• Index(es):
  • Date
  • Thread