@Martin: I see you already answered the question ;·)
As all QT 4 specifications are still drafts, we’ll wait some more time before making the changes official. You can check out the latest BaseX commits to see which features have been implemented [1]. Feedback on unexpected behavior is always appreciated.
@Graydon: Yes, we are delighted to see the arrow operator for single items embedded. There have already been proposals for such an operator in the past, e.g. by our former team member Dirk, but it was too late then to accommodate such an operator in XQuery 3.1.
I don’t know 100% who came up with the current designations, but new features of the specifications are being discussed in the »XSLT Extension Community Group« (the name is a bit misleading, as it also covers XQuery and XPath) [2], on GitHub [3] and on Slack [4]. You are welcome to join in!
[1] https://github.com/BaseXdb/basex/commits/main [2] https://www.w3.org/community/xslt-40/ [3] https://github.com/qt4cg/qtspecs/ [4] https://xmlcom.slack.com/
On Thu, Aug 18, 2022 at 4:11 PM Graydon graydonish@gmail.com wrote:
On Thu, Aug 18, 2022 at 03:31:09PM +0200, Martin Honnen scripsit:
…and (still undocumented) XQuery 4 preview features.
[snip]
[xquery version "4.0";] definitely looks the way to go and is pretty interesting: https://twitter.com/XSLT_knowmad/status/1560256016348057602
The optimized query -- it winds up static! -- for your example is impressive, too.
https://qt4cg.org/branch/master/xquery-40/xpath-40-diff.html#id-arrow-operat...
It's great to see "arrow expressions" getting something easily findable in the documentation.
"Fat arrow" -- even "broad arrow" -- and "thin arrow" strike me as not being optimal choices of names.
Perhaps "parameter substitution arrow" and "function iteration arrow"? "substitution arrow" and "iteration arrow" for short?