xsl:sequence: @as

[liamquin]

xsl:sequence: @as

[rhdunn]

The promote to keywords should be a separate proposal, as that applies to XPath and XQuery, and would be a new feature. We can decide to make this @as XSLT extension equivalent to using promote to if both proposals are accepted.

[yamahito]

Yes please to @as on xsl:sequence.  In fact, I would go so far as saying it ought to be allowed on almost any sequence constructor, e.g. xsl:apply-templates - is that too radical?

Maybe on anything with a select attribute?

Seems to me that this part would be better implemented in XPath within the select attribute.  Perhaps we could add "as [datatype]" as a suffix to any xpath sequence?

…

_________________ Tomos Hillman eXpertML Ltd [phone]

[liamquin]

let $n as xs:integer := function($input as xs:integer) as xs:integer { $input + 3 }(12) return $n * 2;

[michaelhkay]

We have "treat as" and "cast as" in XPath, but neither does exactly the same as the "as" attribute in XSLT (that is, so-called "function coercion"). We could introduce "coerce as" as a third option. But would anyone actually use it?

(I don't know whether "as" on its own would parse OK, it looks as if it would, but I've been wrong before.)

[ChristianGruen]

In BaseX, we introduced the keywords promote to to make the conversion of function arguments and return values explicit.