[XSL-LIST Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message] Re: Seemingly incorrect example of function subtyping
I believe the example is correct. I find it useful to think of "substitutability" rather than subtyping. If the requirement is for a function that accepts a string as an argument, then it's OK to supply a function that accepts any item as an argument. So function(item()) is substitutable for function(xs:string). Michael Kay Saxonica On 26 Feb 2014, at 05:45, Dimitre Novatchev <dnovatchev@xxxxxxxxx> wrote: > In the W3C XDM 3.0 Proposed recommendation at the end of section: > "2.8.1 Functions" (http://www.w3.org/TR/xpath-datamodel-30/#function-items) > > the last example says: > > "function(item()) as item() is a subtype of function(xs:string) as item()" > > I believe that the correct statement is: > > > "function(xs:string) as item() is a subtype of > function(item()) as item() " > > Could someone, please, confirm whether the example in the XDM 3.0 Spec > is correct, and if yes, then what is the chain of rules that leads to > this statement? > > > -- > Cheers, > Dimitre Novatchev > --------------------------------------- > Truly great madness cannot be achieved without significant intelligence. > --------------------------------------- > To invent, you need a good imagination and a pile of junk > ------------------------------------- > Never fight an inanimate object > ------------------------------------- > To avoid situations in which you might make mistakes may be the > biggest mistake of all > ------------------------------------ > Quality means doing it right when no one is looking. > ------------------------------------- > You've achieved success in your field when you don't know whether what > you're doing is work or play > ------------------------------------- > To achieve the impossible dream, try going to sleep. > ------------------------------------- > Facts do not cease to exist because they are ignored. > ------------------------------------- > Typing monkeys will write all Shakespeare's works in 200yrs.Will they > write all patents, too? :) > ------------------------------------- > I finally figured out the only reason to be alive is to enjoy it.
|
PURCHASE STYLUS STUDIO ONLINE TODAY!Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced! Download The World's Best XML IDE!Accelerate XML development with our award-winning XML IDE - Download a free trial today! Subscribe in XML format
|