[xquery-talk] operations on derived numeric type
mike at saxonica.com
Mon Sep 2 06:29:43 PDT 2013
On 2 Sep 2013, at 13:15, Benito van der Zander wrote:
> So taking this further:
> Even xs:decimal(4.0) instance of xs:int, might be true, since the int is still a decimal.
I have certainly argued for that interpretation on occasions, though I found that for practical reasons it's best for casts and constructors to always return the specific type requested. (Otherwise people with "instance of" or "typeswitch" constructions that take an unexpected branch get upset.)
More information about the talk