[MarkLogic Dev General] About Static Type Analysis for XQuery in Mark Logic

[Wang Zhen (Selina)]

To Who It may Concern:

I am conducting an XQuery implementation survey for my thesis study, and
find your Mark Logic link from W3C website.

I'm very interested in Mark Logic, yet I still got some questions and may
need your help:

1. Does Mark Logic support XQuery static type analysis (from
http://www.w3.org/TR/xquery-semantics/)?

2. If so, are those typing rules encoded in Mark Logic?

Thank you.

Selina, Wang Zhen