Re: Propose to accept PR #449

On Tue, 2023-04-25 at 08:55 +0100, Michael Kay wrote:
> 
> 
> The values it returns will indeed be instances of the type record(key
> as xs:string, value as xs:double), but we have no way of capturing
> that in the type signature,

True - i wanted to explore it a little, though. Maybe fn:max() is
closest in spirit here.

> 
> The actual type of the values returned is of course a subtype of the
> type declared in the type signature.

Dynamically, yes.

Thanks for replying.
> 

-- 
Liam Quin, https://www.delightfulcomputing.com/
Available for XML/Document/Information Architecture/XSLT/
XSL/XQuery/Web/Text Processing/A11Y training, work & consulting.
Barefoot Web-slave, antique illustrations:  http://www.fromoldbooks.org

Received on Tuesday, 25 April 2023 08:22:59 UTC